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 18 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 8,43
-
Towards a Formal Description of Ada
Oest, O.N.; Bjorner, D
Prix des articles à partir de
Afficher les 10 offresEUR 11,50
-
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
Langmaack, Hans; Bjorner, Dines; Hoare, C.A.R.
Prix des articles à partir de
Afficher les 16 offresEUR 7,83
-
The Vienna Development Method: The Meta-Language
Bjorner, D.; Jones, C. B.
Prix des articles à partir de
Afficher les 16 offresEUR 19,11
-
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,84
-
Software Engineering 3: Domains, Requirements, And Software Design
Bjørner, Dines
Prix des articles à partir de
Afficher les 31 offresEUR 37,11
-
Software Engineering 2: Specification of Systems and Languages
Bjørner, Dines
Prix des articles à partir de
Afficher les 40 offresEUR 39,26
Affichage de 8 sur 18 livres