Model CheckingWydawnictwo: MIT Press Ltd Data wydania: 04/12/2018 ISBN: 9780262038836 Forma publikacji: książka w twardej oprawie
|
372.75 PLN
Produkt na zamówienie
Dostawa 3-4 tygodnie
Do schowka
|
Perspectives of Systems InformaticsWydawnictwo: Springer Nature Data wydania: 13/05/2012 Wydanie: Pierwsze ISBN: 9783642297090 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
466.14 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Logic for Programming, Artificial Intelligence, and ReasoningWydawnictwo: Springer Nature Data wydania: 07/12/2010 Wydanie: Pierwsze ISBN: 9783642175114 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
652.67 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Computer-Aided Verification: 2nd International Conference CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. ProceedingsWydawnictwo: Springer, Berlin ISBN: 9783540544777 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected PapersWydawnictwo: Springer, Berlin ISBN: 9783642297083 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
Pearls Reset: A Series of Exercises for the Sabbath School ConcertWydawnictwo: Hansebooks ISBN: 9783337702380 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
Handbook of Model Checking, 2 TeileWydawnictwo: Springer, Berlin ISBN: 9783030132330 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
Handbook of Model CheckingWydawnictwo: Springer, Berlin ISBN: 9783319105741 Forma publikacji: książka w twardej oprawie
|
Zapytaj o ten produkt
|
Bible Lessons for Sabbath-School ConcertsWydawnictwo: Hansebooks ISBN: 9783337781439 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected PapersWydawnictwo: Springer, Berlin ISBN: 9783642175107 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|