Modeling and Verification of Parallel Processes Franck Cassez
45,96 €
Titel: Modeling and Verification of Parallel Processes, Untertitel: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures, Einband: Taschenbuch, Autor: Franck Cassez, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 236, Maße: 235x155x13 mm, Gewicht: 365 g, Verkäufer: buch-mimpf, Schlagworte: Compiler Übersetzer (EDV) EDV / Theorie / Programmieren / Allgemeines Parallelcomputer - Parallelrechner Software formal method formal methods model checking modeling testing theorem proving verification.
Jetzt bei Ebay:
