Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Filiale in Ihrer Nähe.
-
Logics of Specification Languages
Logics of Specification LanguagesBuch (Taschenbuch) + weitere
Fr. 191.00
-
Domain Science and Engineering
Dines Bjørner
Domain Science and EngineeringeBook (PDF) + weitere
Fr. 213.90
-
Towards a Formal Description of Ada
Band 98Dines Bjorner + weitere
Towards a Formal Description of AdaBuch (Taschenbuch)
Fr. 137.00
-
Baltic Computer Science
Band 502Janis Barzdins + weitere
Baltic Computer ScienceBuch (Taschenbuch)
Fr. 137.00
-
VDM '87. VDM - A Formal Method at Work
Band 252Dines Bjorner, Cliff Jones + weitere
VDM '87. VDM - A Formal Method at WorkBuch (Taschenbuch)
Fr. 72.90
-
Perspectives of System Informatics
Band 1181Dines Bjorner, Manfred Broy + weitere
Perspectives of System InformaticsBuch (Taschenbuch) + weitere
Fr. 72.90
-
Software Engineering 3
Dines Bjørner
Software Engineering 3Buch (Taschenbuch) + weitere
Fr. 150.00
-
Software Engineering 1
Dines Bjørner
Software Engineering 1Buch (Taschenbuch) + weitere
Fr. 120.00
-
Software Engineering 2
Dines Bjørner
Software Engineering 2Buch (Taschenbuch) + weitere
Fr. 73.90
-
Formal Methods in Programming and Their Applications
Band 735Dines Bjorner, Manfred Broy + weitere
Formal Methods in Programming and Their ApplicationsBuch (Taschenbuch)
Fr. 72.90
-
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)
Fr. 72.90
von 11 Treffern werden angezeigt