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:	9780387950921
Editie:	2001 ed.
Land van oorsprong:	United States
Prijs:	€ 111.14
Verschijningsdatum:	30-03-2001
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Undergraduate
Categorie:	Software Engineering
Geillustreerd:	VIII, 220 p.

Technische kenmerken

Verschijningsvorm:	Hardback
Paginas:	220
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	1110

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.