D. Bjørner
Articles populaires de D. Bjørner
Afficher toutes les offres-
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
Broy, Manfred; Bjorner, Dines; Zamulin, Alexandre
Prix des articles à partir de
Afficher les 3 offresEUR 9,00
-
-
The Vienna Development Method: The Meta-Language
Bjorner, D.; Jones, C. B.
Prix des articles à partir de
Afficher les 11 offresEUR 17,88
-
VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
Jones, Cliff; Bjorner, Dines; Neuhold, Erich J.; Mac An Airchinnigh, Michael
Prix des articles à partir de
Afficher les 7 offresEUR 18,77
-
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
Broy, Manfred; Bjorner, Dines; Pottosin, Igor V.
Prix des articles à partir de
Afficher les 13 offresEUR 39,56
-
SOFTWARE ENGINEERING 1: ABSTRACTION AND MODELLING
Prix des articles à partir de
Afficher les 21 offresEUR 45,79
-
Software Engineering: Specification Of Systems And Languages
Bjørner, Dines
Prix des articles à partir de
Afficher les 39 offresEUR 49,13
-
Software Engineering 3: Domains, Requirements, And Software Design
Bjørner, Dines
Prix des articles à partir de
Afficher les 30 offresEUR 76,45
Affichage de 8 sur 14 livres