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 8,33
-
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
5 Angebote anzeigenEUR 8,06
-
The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science, 61, Band 61)
Bjorner, D.; Jones, C. B.
Artikelpreise ab
5 Angebote anzeigenEUR 18,88
-
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 17,43
-
Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
Bjørner, Dines
Artikelpreise ab
12 Angebote anzeigenEUR 43,37
-
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,32
-
The Structure of Pure Reason: Philosophy’s View of Our Situation in the World
Sørlander, Kai
Artikelpreise ab
4 Angebote anzeigenEUR 128,74
Entdecken Sie auch
Neu -
Towards a Formal Description of Ada (Lecture Notes in Computer Science, 98, Band 98)
Oest, O.N.; Bjorner, D
Artikelpreise ab
2 Angebote anzeigenEUR 116,44
Entdecken Sie auch
Neu
8 von 19 Titeln werden angezeigt