Principles of Verification: Cycling the Probabilistic Landscape Nils Jansen
74,89 €
Titel: Principles of Verification: Cycling the Probabilistic Landscape, Untertitel: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III, Einband: Taschenbuch, Autor: Nils Jansen, Verlag: Springer Nature Switzerland, Springer International Publishing, Sprache: Englisch, Seiten: 520, Maße: 235x155x28 mm, Gewicht: 779 g, Verkäufer: buch-mimpf, Schlagworte: Computer-Aided Verification Concurrency Theory Foundations of Programming Semantics Software Engineering computer science logic formal methods model checking probabilistic computation.
Jetzt bei Ebay:
