D. Bjørner
Beliebte Artikel von D. Bjørner
Alle Angebote anzeigen-
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
3 Angebote anzeigenEUR 8,08
Entdecken Sie auch
Antiquarisch -
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,65
-
-
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,15
-
-
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 16 Titeln werden angezeigt