Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Buchhandlung in Ihrer Nähe.
-
Baltic Computer Science
Band 502Janis Barzdins + weitere
Baltic Computer ScienceBuch (Taschenbuch)
97,99 €
Lieferbar in 3 - 5 Tagen
-
VDM '90. VDM and Z - Formal Methods in Software Development
Band 428Dines Bjorner, C. A. R. Hoare + weitere
VDM '90. VDM and Z - Formal Methods in Software DevelopmentBuch (Taschenbuch)
49,99 €
Lieferbar in 3 - 5 Tagen
-
Perspectives of System Informatics
Band 2244Dines Bjorner, Manfred Broy + weitere
Perspectives of System InformaticsBuch (Taschenbuch) + weitere
49,99 €
Lieferbar in 3 - 5 Tagen
-
Logics of Specification Languages
- 12%Dines Bjorner + weitere
Logics of Specification LanguagesBuch (Gebundene Ausgabe) + weitere
139,99 € UVP
160,49 €*Lieferbar in 5 - 7 Tagen
-
VDM '87. VDM - A Formal Method at Work
Band 252Dines Bjorner, Cliff Jones + weitere
VDM '87. VDM - A Formal Method at WorkBuch (Taschenbuch)
49,99 €
Lieferbar in 3 - 5 Tagen
-
Towards a Formal Description of Ada
Band 98Dines Bjorner + weitere
Towards a Formal Description of AdaBuch (Taschenbuch)
97,99 €
Lieferbar in 3 - 5 Tagen
-
Formal Methods in Programming and Their Applications
Band 735Dines Bjorner, Manfred Broy + weitere
Formal Methods in Programming and Their ApplicationsBuch (Taschenbuch)
49,99 €
Lieferbar in 3 - 5 Tagen
von 7 Treffern werden angezeigt