Mijn boeken
← Catalogus
Deductive Techniques for Model-Based Concurrency Verification
Wytse Oortwijn

Deductive Techniques for Model-Based Concurrency Verification

Wytse Oortwijn
PaperbackEngels
In het kort
ISBN-13
9789036548984
Uitgever
Universiteit Twente Bibliotheek
Verschenen
12 december 2019
NUR
910 · Exacte wetenschappen/natuurwetenschappen algemeen

Lijkt op dit boek

Omslag van Verbindingen
Verbindingen
Omslag van Gaan we op vakantie naar de ruimte?
Gaan we op vakantie naar de ruimte?
Omslag van De plasticparadox
De plasticparadox
Omslag van De plasticparadox
De plasticparadox
Omslag van Lithium: From Salt Flat to Battery
Lithium: From Salt Flat to Battery
Omslag van Humans or Robots in Deep Space
Humans or Robots in Deep Space
Omslag van Pulsars als klokken in het heelal
Pulsars als klokken in het heelal
Omslag van Radiotelescopen horen wat wij niet zien
Radiotelescopen horen wat wij niet zien
Omslag van Terugkeer in de dampkring overleven
Terugkeer in de dampkring overleven
Omslag van Straling onderweg naar Mars
Straling onderweg naar Mars
NSTC 500314899 · CB-relatie 8186142 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Terug naar resultaten
Deductive Techniques for Model-Based Concurrency Verification
Wytse Oortwijn

Deductive Techniques for Model-Based Concurrency Verification

Wytse Oortwijn
PaperbackEngels
Bestel bij bol →
In het kort
ISBN-13
9789036548984
Uitgever
Universiteit Twente Bibliotheek
Verschenen
12 december 2019
NUR
910 · Exacte wetenschappen/natuurwetenschappen algemeen

Lijkt op dit boek

Alles bekijken →
Omslag van Verbindingen
Verbindingen
Martijn van Calmthout
Omslag van Gaan we op vakantie naar de ruimte?
Gaan we op vakantie naar de ruimte?
Stijn Ilsen
Omslag van De plasticparadox
De plasticparadox
Jana Asselman
Omslag van De plasticparadox
De plasticparadox
Jana Asselman
Omslag van Lithium: From Salt Flat to Battery
Lithium: From Salt Flat to Battery
Waries B.V.
Omslag van Humans or Robots in Deep Space
Humans or Robots in Deep Space
Waries B.V.
NSTC 500314899 · CB-relatie 8186142 · Bijgewerkt 6 augustus 2026