winkelwagen
print pagina
Wetenschappen Exacte wetenschappen/natuurwetenschappen

 

Boekhandel Douwes Den Haag

Series in Discrete Mathematics & Theoretical Computer Science

Partial Order Methods in Verification

Peled, Doron

Partial Order Methods in Verification

Series in Discrete Mathematics & Theoretical Computer Science

Partial Order Methods in Verification

Series in Discrete Mathematics & Theoretical Computer Science: Partial Order Methods in Verification

 

Presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. This book contains surveys of techniques used in tools developed for automatic validation of systems. It includes an e-mail debate that took place about the importance of the partial order dichotomy in modeling concurrency.

Nog te verschijnen

€ 98,95

Bezorgen: Zodra beschikbaar

Beschrijving Series in Discrete Mathematics & Theoretical Computer Science: Partial Order Methods in Verification

Presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. This book contains surveys of techniques used in tools developed for automatic validation of systems. It includes an e-mail debate that took place about the importance of the partial order dichotomy in modeling concurrency.

ISBN
9780821805794
Pagina's
403
Verschenen
Serie
Series in Discrete Mathematics & Theoretical Computer Science
Rubriek
Exacte wetenschappen/natuurwetenschappen
Druk
1
Uitvoering
Hardback
Taal
Nederlands
Uitgever
Eurospan

Het Weer Begrijpen

Ontdek de fascinerende wereld achter het weer dat u dagelijks meemaakt en leer hoe u het voortaan zelf kunt lezen.

Starten met Astronomie

Heb je ooit omhooggekeken en je afgevraagd wat je daar eigenlijk ziet? De sterrenhemel is een van de meest indrukwekkende natuurverschijnselen, en toch weten de meeste mensen niet waar ze moeten beginnen om hem te leren lezen.

Het ontstaan van de tijd

Thomas Hertog werkte meer dan twintig jaar nauw samen aan de zijde van Stephen Hawking. Hun centrale vraag: hoe is het mogelijk dat het heelal bij de oerknal de juiste voorwaarden kon creëren opdat er miljarden jaren later leven zou ontstaan?