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
|
Decision ProceduresWydawnictwo: Springer Nature Data wydania: 22/11/2016 Wydanie: Drugie ISBN: 9783662504970 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
329.03 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Computer Aided VerificationWydawnictwo: Springer Nature Data wydania: 15/07/2015 ISBN: 9783319216904 Forma publikacji: eBook: Reflowable eTextbook (ePub)
|
488.13 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Computer Aided VerificationWydawnictwo: Springer Nature Data wydania: 13/07/2015 ISBN: 9783319216683 Forma publikacji: eBook: Reflowable eTextbook (ePub)
|
438.72 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Hardware and Software: Verification and TestingWydawnictwo: Springer Nature Data wydania: 09/03/2011 Wydanie: Pierwsze ISBN: 9783642195839 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
493.56 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Decision Procedures: An Algorithmic Point of ViewWydawnictwo: Springer, Berlin ISBN: 9783540741046 Forma publikacji: książka w twardej oprawie
|
Zapytaj o ten produkt
|
Decision Procedures: An Algorithmic Point of ViewWydawnictwo: Springer, Berlin ISBN: 9783662570654 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
Decision Procedures: An Algorithmic Point of ViewWydawnictwo: Springer, Berlin ISBN: 9783662504963 Forma publikacji: książka w twardej oprawie
|
Zapytaj o ten produkt
|