Mijn boeken
← Catalogus
Exploring annotations for deductive verification
Sophie Lathouwers

Exploring annotations for deductive verification

Sophie Lathouwers
PaperbackEngels
Ook verkrijgbaar als
E-book 2023
In het kort
ISBN-13
9789036558457
Uitgever
Universiteit Twente Bibliotheek
Verschenen
17 oktober 2023
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 501562879 · CB-relatie 8186142 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Terug naar resultaten
Exploring annotations for deductive verification
Sophie Lathouwers

Exploring annotations for deductive verification

Sophie Lathouwers
PaperbackEngels
Bestel bij bol →
Ook verkrijgbaar als
E-book 2023
In het kort
ISBN-13
9789036558457
Uitgever
Universiteit Twente Bibliotheek
Verschenen
17 oktober 2023
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 501562879 · CB-relatie 8186142 · Bijgewerkt 6 augustus 2026