Concurrency, Security, and Puzzles Thomas Gibson-Robinson
Titel: Concurrency, Security, and Puzzles, Untertitel: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, Einband: Taschenbuch, Autor: Thomas Gibson-Robinson, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 340, Maße: 235x155x19 mm, Gewicht: 517 g, Verkäufer: buch-mimpf, Schlagworte: Computer Security Concurrency Theory Domain Theory Topology cryptographic protocols formal language and semantics formal methods formal verification hybrid systems model checking process algebra reactive/controller synthesis sequential domain monoids specification theory substitutive refinement timed automata unifying theories of programming verification verification tools weakest congruence.
Jetzt bei Ebay:
