Nikolai Kosmatov Guide to Software Verification with Frama-C (Hardback)

Nikolai Kosmatov Guide to Software Verification with Frama-C (Hardback)

EUR94.11

People also purchased

Salomon Elixir Tour Mid WP 475778 Bronze Schuhe mit Membran Braun tyaw5t8c6G
Salomon Elixir Tour Mid WP 475778 Bronze Schuhe mit Membran Braun tyaw5t8c6G

SPÜLHILFE DOSIERPUMPE 0,7 LPH DREHBAR 230 Volt GESCHIRRSPÜLER GLASWASCHMASCHINE vOlLSj1ADY
SPÜLHILFE DOSIERPUMPE 0,7 LPH DREHBAR 230 Volt GESCHIRRSPÜLER GLASWASCHMASCHINE vOlLSj1ADY

Brainbox Parts Yellow Vinyl LP MOVLP2757 Vinyl Record Sealed New ye8rilEaeF
Brainbox Parts Yellow Vinyl LP MOVLP2757 Vinyl Record Sealed New ye8rilEaeF

Dell OptiPlex 5070 SFF PC – i5-9500 – 8 GB RAM – 256 GB SSD – WIN11 (ANGEBOT OK) Wh7V6QgGPw
Dell OptiPlex 5070 SFF PC – i5-9500 – 8 GB RAM – 256 GB SSD – WIN11 (ANGEBOT OK) Wh7V6QgGPw

The Platters 100 Hits 4-CD NEU VERSIEGELT Only You/Great Pretender/Twilight Time+ bcQAYb53UN
The Platters 100 Hits 4-CD NEU VERSIEGELT Only You/Great Pretender/Twilight Time+ bcQAYb53UN

UNO Mattel Karten 42003 OIX4Hv3zvv
UNO Mattel Karten 42003 OIX4Hv3zvv

2 New Nokian Wr G4 - 205/55r16 Tires 2055516 205 55 16 UX8eBIe5Vk
2 New Nokian Wr G4 - 205/55r16 Tires 2055516 205 55 16 UX8eBIe5Vk

Judas Priest - Original Album Klassiker - Neue CD LONGPLAY - 60 - B600z 2vkY1OFZiW
Judas Priest - Original Album Klassiker - Neue CD LONGPLAY - 60 - B600z 2vkY1OFZiW

Whistles Midi-Shirtkleid Damen UK 8 rot schwarz Animal-Print Taille binden lang wpgiGCkIif
Whistles Midi-Shirtkleid Damen UK 8 rot schwarz Animal-Print Taille binden lang wpgiGCkIif