Bestellen Terug

Hoofdkenmerken

Auteur:	Steffen, Bernhard
Redactie:	Steffen, Bernhard
Titel:	Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Uitgever:	Springer Nature Switzerland AG
ISBN:	9783030175016
Serie:	Lecture Notes in Computer Science
Editie:	2019 ed.
Land van oorsprong:	Switzerland
Prijs:	€ 67.04
Verschijningsdatum:	04-04-2019
Bericht:	Leverbaar

Inhoudelijke kenmerken

Categorie:	Computer modelling & simulation
Geillustreerd:	25 Illustrations, color; 425 Illustrations, black and white

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	258
Hoogte mm.:	233
Breedte mm.:	156
Dikte mm.:	17
Gewicht gr.:	434