Search - List of Books by Krzysztof R. Apt

Total Books: 7
Verification of Sequential and Concurrent Programs
2009 - Verification of Sequential and Concurrent Programs [Texts in Computer Science] (Hardcover)Hardcover
ISBN-13: 9781848827448
ISBN-10: 184882744X
  ?

Constraint Logic Programming using Eclipse
2007 - Constraint Logic Programming Using Eclipse (Hardcover)
ISBN-13: 9780521866286
ISBN-10: 0521866286
Genres: Computers & Technology, Science & Math
  ?

Verification of Sequential and Concurrent Programs
1997 - Verification of Sequential and Concurrent Programs [2nd ed - Graduate Texts in Computer Science] (Hardcover)Hardcover
ISBN-13: 9780387948966
ISBN-10: 0387948961
Genres: Computers & Technology, Substores
  ?

From Logic Programming to Prolog
1996 - From Logic Programming to Prolog (Other)
ISBN-13: 9780132303682
ISBN-10: 013230368X
Genre: Computers & Technology
  ?

Programmverifikation Sequentielle parallele und verteilte Programme
1996 - Programmverifikation Sequentielle Parallele Und Verteilte Programme [Springer-Lehrbuch - German Edition] (Paperback)
ISBN-13: 9783540574798
ISBN-10: 3540574794
  ?

Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs [Texts and Monographs in Computer Science] (Hardcover)Hardcover
ISBN-13: 9780387975320
ISBN-10: 0387975322
Genres: Computers & Technology, Reference, Science & Math
  ?

Verification of Sequential and Concurrent Programmes
Verification of Sequential and Concurrent Programmes [Texts and Monographs in Computer Science] (Hardcover)Hardcover
ISBN-13: 9783540975328
ISBN-10: 3540975322
  ?