Mijn boeken
← Catalogus
Verified & Fast Probabilistic Verification
Bram Kohlen

Verified & Fast Probabilistic Verification Stepwise Refinement of Probabilistic Model Checking into an IEEE 754 Floating-Point Implementation

Bram Kohlen
PaperbackEngels
Ook verkrijgbaar als
E-book 2026
In het kort
ISBN-13
9789036570343
Uitgever
Universiteit Twente Bibliotheek
Verschenen
12 februari 2026
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 501654014 · CB-relatie 8186142 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Terug naar resultaten
Verified & Fast Probabilistic Verification
Bram Kohlen

Verified & Fast Probabilistic Verification

Stepwise Refinement of Probabilistic Model Checking into an IEEE 754 Floating-Point Implementation
Bram Kohlen
PaperbackEngels
Bestel bij bol →
Ook verkrijgbaar als
E-book 2026
In het kort
ISBN-13
9789036570343
Uitgever
Universiteit Twente Bibliotheek
Verschenen
12 februari 2026
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 501654014 · CB-relatie 8186142 · Bijgewerkt 6 augustus 2026