Buy Used and New Joost-Pieter Katoen Books

Results for Joost-Pieter Katoen

Showing 1 to 6 of 6 results
Principles of Model Checking (The MIT Press) Principles of Model Checking (The MIT Press) by Christel Baier,Joost-Pieter Katoen

Principles of Model Checking (The MIT Press)

by Christel Baier,Joost-Pieter Katoen


ISBN 13: 9780262026499

Format: Illustrated (975 pages)
Publisher: The MIT Press
Published: 03 Jun 2008

Save for later

 
New : $105.46  
New : $105.46
Foundations of Probabilistic Programming Foundations of Probabilistic Programming by Gilles Barthe,Joost-Pieter Katoen,Alexandra Silva

Foundations of Probabilistic Programming

by Gilles Barthe,Joost-Pieter Katoen,Alexandra Silva


ISBN 13: 9781108488518

Format: Hardcover (582 pages)
Publisher: Cambridge University Press
Published: 03 Dec 2020

Save for later

 
New : $67.66  
New : $67.66