|  |
| |
| Artikel-Nr.:
5667A-9783319510453 Herst.-Nr.:
9783319510453 EAN/GTIN:
9783319510453 |
| |
|
| | |
| Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday Weitere Informationen: | | Author: | Thomas Gibson-Robinson; Philippa Hopcroft; Ranko Lazi? | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, formal methods, model checking, process algebra, substitutive refinement, verification, computer security, concurrency theory, cryptographic protocols, domain theory, formal language and semantics, formal verification |
| | |
| |