Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Wolfgang Schreiner - Thinking Programs
Wolfgang Schreiner Thinking Programs Anglais 05.09.2025 Livre Relié Fr. 96.00 min. 4 semaines (titre commandé spécialement)
Levi, Levi, Giorgio Levi, Bernhar Steffen, Bernhard Steffen - Verification, Model Checking, and Abstract Interpretation
Levi, Levi, Giorgio Levi, Bernhar Steffen, Bernhard Steffen Verification, Model Checking, and Abstract Interpretation Anglais 16.08.2005 Livre de poche Fr. 70.00 6-7 semaines
Hakjoo Oh, Siu, Yulei Siu - Static Analysis
Hakjoo Oh, Siu, Yulei Siu Static Analysis Anglais, Allemand Livre de poche Fr. 102.00 Paraît le 05.11.2025
Rajkishore Barik, Rajiv Gupta, Jens Palsberg - Principles and Practices of Building Parallel Software
Rajkishore Barik, Rajiv Gupta, Jens Palsberg Principles and Practices of Building Parallel Software Anglais 02.08.2025 Livre de poche Fr. 124.00 6-7 semaines
Adrian-Horia Dediu, Jan Janou¿ek, Ja Janousek, Jan Janousek, Jan Janoušek, Carlos Martín-Vide... - Language and Automata Theory and Applications
Adrian-Horia Dediu, Jan Janou¿ek, Ja Janousek, Jan Janousek, Jan Janoušek, Carlos Martín-Vide... Language and Automata Theory and Applications Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Roberto Giacobazzi, Gorla, Alessandra Gorla - Static Analysis
Roberto Giacobazzi, Gorla, Alessandra Gorla Static Analysis Anglais 01.12.2024 Livre de poche Fr. 103.00 6-7 semaines
José Bacelar Almeida, Maria João Frade, Simão Melo de Sousa, Jor Pinto, Jorge Sousa Pinto - Rigorous Software Development
José Bacelar Almeida, Maria João Frade, Simão Melo de Sousa, Jor Pinto, Jorge Sousa Pinto Rigorous Software Development Anglais Livre de poche Fr. 146.00 En réédition, pas disponible actuellement