DIRK, Ph. D. Beyer ; Marieke Huisman Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

DIRK, Ph. D. Beyer ; Marieke Huisman
Theoretical Computer Science and General Issues
Engels
({{bookPageStaticData?.reviews.length ?? 0}} recensies)
Tools and Algorithms for the Construction and Analysis of Systems, DIRK, Ph. D. Beyer ; Marieke Huisman - Paperback - 9783319899626
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