Automata and ComputabilityWydawnictwo: Taylor & Francis Data wydania: 04/03/2019 Wydanie: Pierwsze ISBN: 9781351374286 Forma publikacji: eBook: Reflowable eTextbook (ePub)
|
301.38 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Computer Aided VerificationWydawnictwo: Springer Nature Data wydania: 05/07/2011 Wydanie: Pierwsze ISBN: 9783642221101 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
597.83 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Computation EngineeringWydawnictwo: Springer Nature Data wydania: 10/09/2006 ISBN: 9780387325200 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
652.67 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Computation Engineering: Applied Automata Theory and LogicWydawnictwo: Springer, Berlin ISBN: 9780387244181 Forma publikacji: książka w twardej oprawie
|
Zapytaj o ten produkt
|
Computation Engineering: Applied Automata Theory and LogicWydawnictwo: Springer, Berlin ISBN: 9781441937414 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, ProceedingsWydawnictwo: Springer, Berlin ISBN: 9783642221095 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|