VU Boekhandel

Topology in Process Calculus Approximate Correctness and In

Hoofdkenmerken

Auteur:	Ying, Mingsheng
Titel:	Topology in Process Calculus Approximate Correctness and In
Uitgever:	Springer-Verlag New York Inc.
ISBN:	9781461265221
ISBN boekversie:	9781461301233
Editie:	Softcover reprint of the original 1st ed. 2001
Land van oorsprong:	United States
Prijs:	€ 86.50
Verschijningsdatum:	28-10-2012
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Professional & Vocational
Categorie:	Software Engineering
Geillustreerd:	VIII, 220 p.

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	220
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	361

Inhoud:

Professionals, researchers and graduate students in theoretical computer science and formal methods will find this presentation helpful in understanding new concepts for concurrent and real-time systems, especially methods for describing approximation of systems.