Bestellen Terug

Hoofdkenmerken

Auteur:	Boca, Paul
Co Auteur:	Paul P. Boca
Redactie:	Boca, Paul
Titel:	Abstract State Machines, B and Z First International Conference
Uitgever:	Springer-Verlag Berlin and
ISBN:	9783540876021
ISBN boekversie:	9783540876038
Serie:	Lecture Notes in Computer
Editie:	2008 ed.
Land van oorsprong:	Germany
Prijs:	€ 78.52
Verschijningsdatum:	08-09-2008
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Professional & Vocational
Categorie:	Mathematical theory of computation
Geillustreerd:	XII, 384 p.
Dewey code:	511.35

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	384
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	611

 

Inhoud:

Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.