Buy Used and New KrzysztofR.Apt Books

Results for KrzysztofR.Apt

Showing 1 to 5 of 5 results
The Logic Programming Paradigm: A 25-Year Perspective (Artificial Intelligence) The Logic Programming Paradigm: A 25-Year Perspective (Artificial Intelligence) by Krzysztof R. Apt

The Logic Programming Paradigm: A 25-Year Perspective (Artificial Intelligence)

by Krzysztof R. Apt


ISBN 13: 9783642642494

Format: Paperback (480 pages)
Publisher: Springer Verlag
Published: 01 Jan 1999

Save for later

 
New : $118.96  
New : $118.96
Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition by Krzysztof R. Apt, Amir Pnueli, Frank S. de Boer, Ernst-Rüdiger Olderog

Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition

by Krzysztof R. Apt, Amir Pnueli, Frank S. de Boer, Ernst-Rüdiger Olderog


ISBN 13: 9781447125136

Format: Paperback (528 pages)
Publisher: Springer
Published: 14 Mar 2012

Save for later

 
New : $84.18  
New : $84.18
Logics and Models of Concurrent Systems: 13 (Nato ASI Subseries F:) Logics and Models of Concurrent Systems: 13 (Nato ASI Subseries F:) by Krzysztof R. Apt

Logics and Models of Concurrent Systems: 13 (Nato ASI Subseries F:)

by Krzysztof R. Apt


ISBN 13: 9783642824555

Format: Paperback (512 pages)
Publisher: Springer-Verlag
Published: 01 Jan 1985

Save for later

 
New : $134.90  
New : $134.90