D. Bjørner
Beliebte Artikel von D. Bjørner
Alle Angebote anzeigen-
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Notes in Computer Science, 2244, Band 2244)
Broy, Manfred; Bjorner, Dines; Zamulin, Alexandre
Artikelpreise ab
3 Angebote anzeigenEUR 9,00
-
-
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science, 428, Band...
Langmaack, Hans; Bjorner, Dines; Hoare, C.A.R.
Artikelpreise ab
14 Angebote anzeigenEUR 7,79
-
The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science, 61, Band 61)
Bjorner, D.; Jones, C. B.
Artikelpreise ab
11 Angebote anzeigenEUR 17,88
-
VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science, 252, Band 252)
Jones, Cliff; Bjorner, Dines; Neuhold, Erich J.; Mac An Airchinnigh, Michael
Artikelpreise ab
7 Angebote anzeigenEUR 18,77
-
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
Bjørner, Dines
Artikelpreise ab
21 Angebote anzeigenEUR 45,79
-
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Bjørner, Dines
Artikelpreise ab
39 Angebote anzeigenEUR 49,13
-
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. ... Notes in Computer Science, 735, Band 735)
Broy, Manfred; Bjorner, Dines; Pottosin, Igor V.
Artikelpreise ab
13 Angebote anzeigenEUR 39,56
8 von 15 Titeln werden angezeigt