Abstract State Machines, Alloy, B and Z
Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
State of the art research Up to date conference proceedings Cutting edge results
Autor*in
Marc Frappier
Themen in »Abstract State Machines, Alloy, B and Z«
Java algorithm analysis automata theory business processes calculus cryptology data structure logic model theory modeling smart cards theoretical computerscience virtual machines algorithm analysis and problem complexity
Stimmen zu »Abstract State Machines, Alloy, B and Z«
Details
ISBN: 9783642118111
Verlag: Springer Berlin
Erscheinung: 20.02.2010