Dirk Beyer ; Marieke Huisman ; Fabrice Kordon Tools and Algorithms for the Construction and Analysis of Systems

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

Dirk Beyer ; Marieke Huisman ; Fabrice Kordon
Lecture Notes in Computer Science
Engels
({{bookPageStaticData?.reviews.length ?? 0}} recensies)
Tools and Algorithms for the Construction and Analysis of Systems, Dirk Beyer ; Marieke Huisman ; Fabrice Kordon - Paperback - 9783030175016
Samenvatting
Lees Samenvatting Minder Samenvatting
Specificaties
Alle specificaties Minder specificaties
Categorieën
ALLE CATEGORIEËN MINDER CATEGORIEËN
Thema’s
Alle thema's Minder thema's
Recensies
{{bookPageStaticData?.averageRatingString}}
{{bookPageStaticData?.averageReviews}}
Nog geen recensies. Wees de eerste!
{{review.title}}
Lees meer Lees minder
{{review.createdOnString}} | {{review.alias}} | {{review.bindingDescription}}
Meer Recensies Toon Minder

Beste boekenliefhebber,

Wat leuk dat je er bent! Om onze website te laten functioneren maken we gebruik van cookies. Kies hieronder welke cookies we mogen plaatsen. 

Onze noodzakelijke cookies verzamelen geen persoonsgegevens en helpen ons de website te verbeteren. Wil je de beste website-ervaring? Kies dan voor alle cookies. 

Meer informatie vind je in ons cookiebeleid.

Geef eventueel je voorkeuren aan:

Hostname: pro-mbooks2