Languages
Subject
Format
Availabity
Authors

Search result

Miklos Biro, Michael Butler, Atif Mashkoor, Klaus-Dieter Schewe - Abstract State Machines, Alloy, B, TLA, VDM, and Z
Miklos Biro, Michael Butler, Atif Mashkoor, Klaus-Dieter Schewe Abstract State Machines, Alloy, B, TLA, VDM, and Z English 11.05.2016 Paperback / Softback Sold out
Yuliya Lierler, Walid Taha - Practical Aspects of Declarative Languages
Yuliya Lierler, Walid Taha Practical Aspects of Declarative Languages English 17.12.2016 Paperback / Softback Sold out
Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto - Inductive Logic Programming
Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto Inductive Logic Programming English 12.06.2016 Paperback / Softback Sold out
Anna-Lena Lamprecht - Leveraging Applications of Formal Methods, Verification, and Validation
Anna-Lena Lamprecht Leveraging Applications of Formal Methods, Verification, and Validation English 22.12.2016 Paperback / Softback Sold out
Ivica Crnkovic, Elena Troubitsyna - Software Engineering for Resilient Systems
Ivica Crnkovic, Elena Troubitsyna Software Engineering for Resilient Systems English 26.08.2016 Paperback / Softback Sold out
Sre¿ko Brlek, Srecko Brlek, Srečko Brlek, Christophe Reutenauer - Developments in Language Theory
Sre¿ko Brlek, Srecko Brlek, Srečko Brlek, Christophe Reutenauer Developments in Language Theory English 21.07.2016 Paperback / Softback Sold out
Cyrille Artho, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky Formal Techniques for Safety-Critical Systems English 23.04.2015 Paperback / Softback Sold out
Martyn Amos, Anne Condon - Unconventional Computation and Natural Computation
Martyn Amos, Anne Condon Unconventional Computation and Natural Computation English 15.06.2016 Paperback / Softback Sold out
Matteo Baldoni, Amit K. Chopra, Katsutoshi Hirayama, Tran Cao Son, Paolo Torroni - PRIMA 2016: Principles and Practice of Multi-Agent Systems
Matteo Baldoni, Amit K. Chopra, Katsutoshi Hirayama, Tran Cao Son, Paolo Torroni PRIMA 2016: Principles and Practice of Multi-Agent Systems English 10.08.2016 Paperback / Softback Sold out
Dorel Lucanu - Rewriting Logic and Its Applications
Dorel Lucanu Rewriting Logic and Its Applications English 18.08.2016 Paperback / Softback Sold out
Martin Fränzle, Nicolas Markey - Formal Modeling and Analysis of Timed Systems
Martin Fränzle, Nicolas Markey Formal Modeling and Analysis of Timed Systems English 17.08.2016 Paperback / Softback Sold out
Paul Grünbacher, Anna Perini - Requirements Engineering: Foundation for Software Quality
Paul Grünbacher, Anna Perini Requirements Engineering: Foundation for Software Quality English 21.02.2017 Paperback / Softback Sold out
Cyrille Artho, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky Formal Techniques for Safety-Critical Systems English 16.02.2017 Paperback / Softback Sold out
Eva Kühn, Rosario Pugliese - Coordination Models and Languages
Eva Kühn, Rosario Pugliese Coordination Models and Languages English 24.07.2014 Paperback / Softback Sold out
Leonardo De Moura, Moa Johansson, Michael Kohlhase, Bruce Miller, Frank Toma, Frank Tompa - Intelligent Computer Mathematics
Leonardo De Moura, Moa Johansson, Michael Kohlhase, Bruce Miller, Frank Toma, Frank Tompa Intelligent Computer Mathematics English 12.07.2016 Paperback / Softback Sold out
Annie Foret, Glyn Morrill, Reinhard Musken, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla - Formal Grammar
Annie Foret, Glyn Morrill, Reinhard Musken, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla Formal Grammar English 06.08.2016 Paperback / Softback Sold out
Jasmin Christian Blanchette, Stephan Merz - Interactive Theorem Proving
Jasmin Christian Blanchette, Stephan Merz Interactive Theorem Proving English 07.08.2016 Paperback / Softback Sold out
Dieter Fiems, Marco Paolieri, Agapios Platis, Agapios N. Platis - Computer Performance Engineering
Dieter Fiems, Marco Paolieri, Agapios Platis, Agapios N. Platis Computer Performance Engineering English 16.09.2016 Paperback / Softback Sold out
Andy King, Oleg Kiselyov - Functional and Logic Programming
Andy King, Oleg Kiselyov Functional and Logic Programming English 23.02.2016 Paperback / Softback Sold out
Xinyu Feng, Sungwoo Park - Programming Languages and Systems
Xinyu Feng, Sungwoo Park Programming Languages and Systems English 10.12.2015 Paperback / Softback Sold out