D. Bjørner
Articles populaires de D. Bjørner
Afficher toutes les offres-
-
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 19 offresEUR 8,09
-
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 6 offresEUR 9,00
-
The Vienna Development Method: The Meta-Language
Bjorner, D.; Jones, C. B.
Prix des articles à partir de
Afficher les 9 offresEUR 17,66
-
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 9 offresEUR 21,90
-
Software Engineering Vol. 2: Specification of Systems and Languages
Prix des articles à partir de
Afficher les 39 offresEUR 48,78
-
Software Engineering 3: Domains, Requirements, And Software Design
Bjørner, Dines
Prix des articles à partir de
Afficher les 30 offresEUR 76,92
-
Software Engineering 1: Abstraction And Modelling
Bjørner, Dines
Prix des articles à partir de
Afficher les 20 offresEUR 87,32
Affichage de 8 sur 16 livres