Bestellen Terug

Hoofdkenmerken

Auteur:	Roggenbach, Markus
Redactie:	Roggenbach, Markus
Titel:	Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Uitgever:	Springer International
ISBN:	9783031401312
ISBN boekversie:	9783031401329
Serie:	Lecture Notes in Computer Science
Editie:	1st ed. 2023
Land van oorsprong:	Switzerland
Prijs:	€ 96,84
Verschijningsdatum:	17-08-2023
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Categorie:	Mathematical theory of computation
Geillustreerd:	62 Illustrations, color; 46 Illustrations, black and white

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	334
Hoogte mm.:	235
Breedte mm.:	155

 

Inhoud:

After studying mathematics at the University of Hamburg, Jan worked with Philips and Deutsche System-Technik on fault-tolerant systems, distributed systems, database systems, and safety-critical embedded systems.