Akash lal u a (5 risultati)
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 41,45
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Computer Aided Verification | 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III | Constantin Enea (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2023 | Springer | EAN 9783031377082 | Verantwortliche Person für die EU: Sprin…ger Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 41,45
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Computer Aided Verification | 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I | Constantin Enea (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxxi | Englisch | 2023 | Springer | EAN 9783031377051 | Verantwortliche Person für die EU: Springe…r Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 41,45
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Computer Aided Verification | 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II | Constantin Enea (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2023 | Springer | EAN 9783031377020 | Verantwortliche Person für die EU: Springe…r Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,40
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Verified Software. Theories, Tools and Experiments. | 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers | Akash Lal (u. a.) | Taschenbuch | Lecture Notes in Computer Science | viii | Englisch | 2023 | Springer | EAN 9783031258022 | Verantwortliche… Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,40
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Verification, Model Checking, and Abstract Interpretation | 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings | Deepak D'Souza (u. a.) | Taschenbuch | xviii | Englisch | 2015 | Springer | EAN 9783662460801 | Verantwortliche Person für die EU: Springer Verlag…GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
