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
5 Angebote anzeigenEUR 8,29
-
The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science, 61, Band 61)
Bjorner, D.; Jones, C. B.
Artikelpreise ab
7 Angebote anzeigenEUR 22,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 17,38
-
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
Bjørner, Dines
Artikelpreise ab
8 Angebote anzeigenEUR 61,92
-
Baltic Computer Science: Selected Papers (Lecture Notes in Computer Science)
Barzdins, J. & Bjorner, D. (eds.)
Artikelpreise ab
1 Angebot anzeigenEUR 124,85
Entdecken Sie auch
Neu -
Domain Science and Engineering: A Foundation for Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Bjørner, Dines
Artikelpreise ab
6 Angebote anzeigenEUR 201,98
-
The Structure of Pure Reason: Philosophy’s View of Our Situation in the World
Sørlander, Kai
Artikelpreise ab
4 Angebote anzeigenEUR 144,15
