Scopri informazioni, consigli e prezzi per interactive theorem proving 5th international, costo di 53,49 € : si colloca nella categoria Programmazione; questo prodotto è venduto da ed è realizzato da Springer
Programmazione, Informatica, Web e Digital Media, Libri, Sicurezza informatica, Reti e sistemi amministrativi, Scienza dei calcolatori, Matematica, Scienze, tecnologia e medicina, Algoritmi informatici, Libri universitari informatica, Libri universitari, Intelligenza artificiale, Progettazione e ingegneria del software, Libri in inglese, Featured Categories, Libri in altre lingue, Regular Stores, 473ad6e2-bc18-439b-b9c5-bb4af119f847_4001, 473ad6e2-bc18-439b-b9c5-bb4af119f847_0, Special Features Stores, Self Service, Arborist Merchandising Root, Content Stores, 473ad6e2-bc18-439b-b9c5-bb4af119f847_7501, Foreign (all), 473ad6e2-bc18-439b-b9c5-bb4af119f847_5101
condizione: New
disponibilità: Disponibilità immediata
EAN: 9783319089690
Trova informazioni, consigli e prezzi per formal approaches to software testing venduto 53,49 € , presente nella categoria Programmazione, questo prodotto è venduto da ed è realizzato da Springer
Programmazione, Informatica, Web e Digital Media, Libri, Scienza dei calcolatori, Impresa, strategia e gestione, Economia, affari e finanza, Linguaggi di programmazione, Libri universitari informatica, Libri universitari, Progettazione e ingegneria del software, Libri in inglese, Featured Categories, Libri in altre lingue, Regular Stores, 473ad6e2-bc18-439b-b9c5-bb4af119f847_4001, 473ad6e2-bc18-439b-b9c5-bb4af119f847_0, Special Features Stores, Self Service, Arborist Merchandising Root, Content Stores, 473ad6e2-bc18-439b-b9c5-bb4af119f847_7501, Foreign (all), 473ad6e2-bc18-439b-b9c5-bb4af119f847_5101
condizione: New
disponibilità: Disponibilità immediata
EAN: 9783540344544