Model CheckingPublisher: MIT Press Ltd Year: 04/12/2018 ISBN: 9780262038836 Publication form: hardback
|
372.75 PLN
Product to order
Delivery 3-4 weeks
Add to bookshelf
|
Perspectives of Systems InformaticsPublisher: Springer Nature Year: 13/05/2012 Edition: First ISBN: 9783642297090 Publication form: eBook: Fixed Page eTextbook (PDF)
|
466.14 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Logic for Programming, Artificial Intelligence, and ReasoningPublisher: Springer Nature Year: 07/12/2010 Edition: First ISBN: 9783642175114 Publication form: eBook: Fixed Page eTextbook (PDF)
|
652.67 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Handbook of Model Checking, 2 TeilePublisher: Springer, Berlin ISBN: 9783030132330 Publication form: paperback
|
Ask about the product
|
Handbook of Model CheckingPublisher: Springer, Berlin ISBN: 9783319105741 Publication form: hardback
|
Ask about the product
|
Bible Lessons for Sabbath-School ConcertsPublisher: Hansebooks ISBN: 9783337781439 Publication form: paperback
|
Ask about the product
|
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected PapersPublisher: Springer, Berlin ISBN: 9783642175107 Publication form: paperback
|
Ask about the product
|
Computer-Aided Verification: 2nd International Conference CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. ProceedingsPublisher: Springer, Berlin ISBN: 9783540544777 Publication form: paperback
|
Ask about the product
|
Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected PapersPublisher: Springer, Berlin ISBN: 9783642297083 Publication form: paperback
|
Ask about the product
|
Pearls Reset: A Series of Exercises for the Sabbath School ConcertPublisher: Hansebooks ISBN: 9783337702380 Publication form: paperback
|
Ask about the product
|