Logics of Specification Languages bei Mercateo günstig kaufen

Produktinformationen

Artikel-Nr.:
5667A-9783642093456

Hersteller:
Springer Verlag

Herst.-Nr.:
9783642093456

EAN/GTIN:
9783642093456

Suchbegriffe:

Logics of Specification Languages

Weitere Informationen:


Author:	Dines Bjørner; Martin C. Henson
Verlag:	Springer Berlin
Sprache:	eng

Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, ASM (Abstract State Machines), Bjørner, CASL (Common Algebraic Specification Language), CafeOBJ, Duration Calculus, Event-B and B specification language, Formal methods, Formal specification languages, Logic, Programming techniques, Proof rules