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
2 Angebote anzeigenEUR 9,00
-
The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science, 61, Band 61)
Bjorner, D.; Jones, C. B.
Artikelpreise ab
6 Angebote anzeigenEUR 17,88
-
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
Bjørner, Dines
Artikelpreise ab
9 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
15 Angebote anzeigenEUR 49,13
-
Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
Bjørner, Dines
Artikelpreise ab
11 Angebote anzeigenEUR 76,45
-
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
3 Angebote anzeigenEUR 39,74
-
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
1 Angebot anzeigenEUR 59,97
Entdecken Sie auch
Neu
8 von 15 Titeln werden angezeigt