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
-
-
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,76
-
-
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,64
-
-
Software Engineering Vol. 2: Specification of Systems and Languages
Artikelpreise ab
39 Angebote anzeigenEUR 48,78
-
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,28
8 von 15 Titeln werden angezeigt