Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Jing Sun, Meng Sun - Formal Methods and Software Engineering
Jing Sun, Meng Sun Formal Methods and Software Engineering Inglese 11.10.2018 Tascabile Fr. 70.00 6-7 settimane
Dirk Beyer, Marieke Huisman - Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman Tools and Algorithms for the Construction and Analysis of Systems Inglese 12.04.2018 Tascabile Fr. 70.00 6-7 settimane
Christel Baier, Ugo Dal Lago - Foundations of Software Science and Computation Structures
Christel Baier, Ugo Dal Lago Foundations of Software Science and Computation Structures Inglese 14.04.2018 Tascabile Fr. 70.00 6-7 settimane
Victor Khomenko, Olivier H. Roux - Application and Theory of Petri Nets and Concurrency
Victor Khomenko, Olivier H. Roux Application and Theory of Petri Nets and Concurrency Inglese 08.05.2018 Tascabile Fr. 70.00 6-7 settimane
Michael Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl - Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl Abstract State Machines, Alloy, B, TLA, VDM, and Z Inglese 08.05.2018 Tascabile Fr. 70.00 6-7 settimane
Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero - Computing with Foresight and Industry
Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero Computing with Foresight and Industry Inglese 19.06.2019 Tascabile Fr. 70.00 6-7 settimane
Ionu¿ ¿U¿U, José Luiz Fiadeiro, Ionuț Țuțu - Recent Trends in Algebraic Development Techniques
Ionu¿ ¿U¿U, José Luiz Fiadeiro, Ionuț Țuțu Recent Trends in Algebraic Development Techniques Inglese 26.06.2019 Tascabile Fr. 70.00 6-7 settimane
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang - Tools and Algorithms for the Construction and Analysis of Systems
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang Tools and Algorithms for the Construction and Analysis of Systems Inglese 04.04.2019 Tascabile Fr. 70.00 6-7 settimane
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang - Tools and Algorithms for the Construction and Analysis of Systems
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang Tools and Algorithms for the Construction and Analysis of Systems Inglese 04.04.2019 Tascabile Fr. 70.00 6-7 settimane
Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems
Jonathan P. Bowen, Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems Inglese 14.04.2019 Tascabile Fr. 82.00 6-7 settimane
Roger Chamberlain, Walid Taha, Martin Törngren - Cyber Physical Systems. Design, Modeling, and Evaluation
Roger Chamberlain, Walid Taha, Martin Törngren Cyber Physical Systems. Design, Modeling, and Evaluation Inglese 13.04.2019 Tascabile Fr. 70.00 6-7 settimane
Michal Hospodár, Galina Jirásková - Implementation and Application of Automata
Michal Hospodár, Galina Jirásková Implementation and Application of Automata Inglese 27.06.2019 Tascabile Fr. 70.00 6-7 settimane
Susan Stepney, Sergey Verlan - Unconventional Computation and Natural Computation
Susan Stepney, Sergey Verlan Unconventional Computation and Natural Computation Inglese 31.05.2018 Tascabile Fr. 70.00 6-7 settimane
Raffaella Bernardi, Greg Kobele, Sylvain Pogodalla - Formal Grammar
Raffaella Bernardi, Greg Kobele, Sylvain Pogodalla Formal Grammar Inglese 05.07.2019 Tascabile Fr. 70.00 6-7 settimane
Isil Dillig, Serdar Tasiran - Computer Aided Verification
Isil Dillig, Serdar Tasiran Computer Aided Verification Inglese 13.07.2019 Tascabile Fr. 70.00 6-7 settimane
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen - Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen Tools and Algorithms for the Construction and Analysis of Systems Inglese 04.04.2019 Tascabile Fr. 70.00 6-7 settimane
Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Inglese 24.04.2019 Tascabile Fr. 82.00 6-7 settimane
Alessandro Abate, Gilles Geeraerts - Formal Modeling and Analysis of Timed Systems
Alessandro Abate, Gilles Geeraerts Formal Modeling and Analysis of Timed Systems Inglese 03.08.2017 Tascabile Fr. 70.00 6-7 settimane
Cyrille Artho, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky Formal Techniques for Safety-Critical Systems Inglese 02.02.2019 Tascabile Fr. 70.00 6-7 settimane
Sam Lindley, Conor McBride, Don Sannella, Phil Trinder - A List of Successes That Can Change the World
Sam Lindley, Conor McBride, Don Sannella, Phil Trinder A List of Successes That Can Change the World Inglese 31.03.2016 Tascabile Fr. 70.00 6-7 settimane