Languages
Subject
Format
Availabity
Authors

Search result

Jeremy Gibbons, Perdita Stevens - Bidirectional Transformations
Jeremy Gibbons, Perdita Stevens Bidirectional Transformations English 29.03.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Jing Sun, Meng Sun - Formal Methods and Software Engineering
Jing Sun, Meng Sun Formal Methods and Software Engineering English 11.10.2018 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 12.04.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Christel Baier, Ugo Dal Lago - Foundations of Software Science and Computation Structures
Christel Baier, Ugo Dal Lago Foundations of Software Science and Computation Structures English 14.04.2018 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 08.05.2018 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 08.05.2018 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 19.06.2019 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 26.06.2019 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 04.04.2019 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 04.04.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems
Jonathan P. Bowen, Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems English 14.04.2019 Paperback / Softback Fr. 82.00 6-7 weeks
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 English 13.04.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Michal Hospodár, Galina Jirásková - Implementation and Application of Automata
Michal Hospodár, Galina Jirásková Implementation and Application of Automata English 27.06.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Susan Stepney, Sergey Verlan - Unconventional Computation and Natural Computation
Susan Stepney, Sergey Verlan Unconventional Computation and Natural Computation English 31.05.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Raffaella Bernardi, Greg Kobele, Sylvain Pogodalla - Formal Grammar
Raffaella Bernardi, Greg Kobele, Sylvain Pogodalla Formal Grammar English 05.07.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach - Language, Logic, and Computation
Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach Language, Logic, and Computation English 04.07.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Isil Dillig, Serdar Tasiran - Computer Aided Verification
Isil Dillig, Serdar Tasiran Computer Aided Verification English 13.07.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Susanne Göbel - A Polynomial Translation of Mobile Ambients into Safe Petri Nets
Susanne Göbel A Polynomial Translation of Mobile Ambients into Safe Petri Nets English 28.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 04.04.2019 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 24.04.2019 Paperback / Softback Fr. 82.00 6-7 weeks