Kim Guldstrand Larsen - exlibris.ch - finden Sie Ihre liebsten Bücher, Filme, Musik, Games, Softwares, Electronics | Ex Libris

- DE
- FR

"Kim Guldstrand Larsen"

(2 Artikel gefunden)

E-Book (pdf) Principles of Model Checking von Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

Principles of Model Checking Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen E-Book (pdf) 25.04.2008

CHF 102.30 127.90

Download steht sofort bereit

E-Book (pdf) Models, Algorithms, Logics and Tools von

Models, Algorithms, Logics and Tools E-Book (pdf) 17.08.2017

Download steht sofort bereit