Mijn boeken
← Catalogus
Concurrent Separation Logics for Safety, Refinement, and Security
Dan Frumin

Concurrent Separation Logics for Safety, Refinement, and Security

Dan Frumin
PaperbackEngels
In het kort
ISBN-13
9789464191288
Uitgever
Gildeprint
Verschenen
12 maart 2021
NUR
120 · Exacte vakken en informatica algemeen

Lijkt op dit boek

Omslag van Leerboek
Leerboek
Omslag van Biologie 2U
Biologie 2U
Omslag van Chemie 1U
Chemie 1U
Omslag van Chemie 2U
Chemie 2U
Omslag van Leerboek
Leerboek
Omslag van Fysica 2U
Fysica 2U
Omslag van Leerboek
Leerboek
Omslag van Computerbijbel voor Windows 11 (5e editie)
Computerbijbel voor Windows 11 (5e editie)
Omslag van Working at Philips Research
Working at Philips Research
Omslag van Battleships Puzzle
Battleships Puzzle
NSTC 501373644 · CB-relatie 9281503 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Terug naar resultaten
Concurrent Separation Logics for Safety, Refinement, and Security
Dan Frumin

Concurrent Separation Logics for Safety, Refinement, and Security

Dan Frumin
PaperbackEngels
Bestel bij bol →
In het kort
ISBN-13
9789464191288
Uitgever
Gildeprint
Verschenen
12 maart 2021
NUR
120 · Exacte vakken en informatica algemeen

Lijkt op dit boek

Alles bekijken →
Omslag van Leerboek
Leerboek
Jeroen Goussey
Omslag van Biologie 2U
Biologie 2U
Jeroen Goussey
Omslag van Chemie 1U
Chemie 1U
Anita Bongaerts
Omslag van Chemie 2U
Chemie 2U
Anita Bongaerts
Omslag van Leerboek
Leerboek
Raven Berckmoes
Omslag van Fysica 2U
Fysica 2U
Raven Berckmoes
NSTC 501373644 · CB-relatie 9281503 · Bijgewerkt 6 augustus 2026