Perfeziona la tua ricerca
Non abbiamo trovato corrispondenze esatte per "bjorner", e "dineshenson".
Risultati corrispondenti alla tua ricerca
- 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))Goos, G.; Hartmanis, J. (editor)
- Brossura
- Usato
EUR 5,13 spedizione - The Vienna Development Method : The Meta-Language
- Brossura
- Usato
Spedizione gratuita - 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)Dines Bjorner, C.A.R. Hoare, Hans Langmaack
- Brossura
- Usato
EUR 3,88 spedizione - Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia, June/July 1993 Proceedings (Lecture Notes in Computer Science 735)Bjorner, Dines; Broy, Manfred & Pottosin, Igor
- Brossura
- Usato
EUR 14,58 spedizione - Cogitationes Critico Philologicae De Orthographia Linguae Suio Gothicae (1742)Bjorner, Erik Julius
- Brossura
- Nuovo
Spedizione gratuita
