Formal Methods in Outer Space Ezio Bartocci
58,84 €
Titel: Formal Methods in Outer Space, Untertitel: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday, Einband: Taschenbuch, Autor: Ezio Bartocci, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 208, Maße: 235x155x12 mm, Gewicht: 324 g, Verkäufer: buch-mimpf, Schlagworte: Computer Systems Embedded Systems Engineering Software Design Software Engineering architecting architecture verification and validation computer programming distributed computer systems distributed systems formal languages formal logic formal methods linguistics mathematics model checking parallel processing systems program compilers.
Jetzt bei Ebay:
