Mijn boeken
← Catalogus
Deductive Verification Techniques for Embedded Systems
Philip Ben Heinrich Tasche

Deductive Verification Techniques for Embedded Systems

Philip Ben Heinrich Tasche
E-bookEngelsDeel 2026-11 →
Ook verkrijgbaar als
Paperback 2026
In het kort
ISBN-13
9789036571593
Uitgever
Universiteit Twente Bibliotheek
Verschenen
12 juni 2026
NUR
910 · Exacte wetenschappen/natuurwetenschappen algemeen
Serie
IPA dissertation series · 2026-11

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 501666020 · CB-relatie 8186142 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Terug naar resultaten
Deductive Verification Techniques for Embedded Systems
Philip Ben Heinrich Tasche

Deductive Verification Techniques for Embedded Systems

Philip Ben Heinrich Tasche
E-bookEngelsDeel 2026-11 van IPA dissertation series →
Bestel bij bol →
Ook verkrijgbaar als
Paperback 2026
In het kort
ISBN-13
9789036571593
Uitgever
Universiteit Twente Bibliotheek
Verschenen
12 juni 2026
NUR
910 · Exacte wetenschappen/natuurwetenschappen algemeen
Serie
IPA dissertation series · 2026-11

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 501666020 · CB-relatie 8186142 · Bijgewerkt 6 augustus 2026