Runtime Verification: A Hands-On Approach in Java

Main
Computers - Programming
Runtime Verification: A Hands-On...

Runtime Verification: A Hands-On Approach in Java

Christian Colombo, Gordon J. Pace

5.0 / 5.0

Насколько вам понравилась эта книга?

Какого качества скаченный файл?

Скачайте книгу, чтобы оценить ее качество

Какого качества скаченные файлы?

Категории:

Computers - Programming

Год:

2022

Издательство:

Springer

Язык:

english

Страницы:

217

ISBN 10:

303109266X

ISBN 13:

9783031092664

Файл:

PDF, 2.85 MB

IPFS:

,

english, 2022

Читать Онлайн

Выполняется конвертация в

Конвертация в не удалась

Вас может заинтересовать

David Bernstein — Patterns for Beginning Programmers With Examples in Java

Jeanne Boyarsky, Scott Selikoff — OCP Oracle Certified Professional Java SE 17 Developer Practice Tests: Exam 1Z0-829

Nisha Parameswaran Kurur — Mastering Java Persistence API (JPA): Realize Java's Capabilities Spanning RDBMS, ORM, JDBC, Caching, Locking

Howard Bowman & Rodolfo Gomez — Concurrency Theory

Chuck Easttom — JBuilder 7.0 EJB Programming

Colin Moock — Essential ActionScript 3.0 (Essential)

Doron Drusinsky — Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking

Derek Beyer — C# COM+ Programming

El Mostapha Aboulhamid, Frederic Rousseau — System Level Design with .Net Technology

Lettnin, Djones;Winterholer, Markus — Embedded software verification and debugging

Djones Lettnin; Markus Winterholer — Embedded Software Verification and Debugging

Ken Finnigan — JBoss Weld CDI for Java Platform

Howard Bowman & Rodolfo Gomez — Concurrency Theory

Christian Colombo, Gordon J. Pace — Runtime Verification: A Hands-On Approach in Java

Borzoo Bonakdarpour, Scott A. Smolka (eds.) — Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Ezio Bartocci,Yliès Falcone (eds.) — Lectures on Runtime Verification: Introductory and Advanced Topics

Bartocci, Ezio.;Falcone, Yliès — Lectures on Runtime Verification: Introductory and Advanced Topics

Bernhard Schätz (auth.), Jim Davies, Wolfram Schulte, Mike Barnett (eds.) — Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.) — FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Gérard Boudol, Valérie Roy, Robert de Simone (auth.), Joseph Sifakis (eds.) — Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12–14, 1989 Proceedings

Eugene Asarin, Oded Maler, Amir Pnueli (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.) — Hybrid Systems II

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Flaviu Cristian (auth.), Bengt Jonsson, Joachim Parrow (eds.) — Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings

Cindy Eisner (auth.), Oleg Sokolsky, Serdar Taşıran (eds.) — Runtime Verification: 7th International Workshop, RV 2007, Vancover [Vancouver], Canada, March 13, 2007, Revised Selected Papers

Unknown — Theoretical Aspects Of Computing Ictac 2008 5 5160 2008 9783540857617 465s

Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.) — Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

John Erickson, Stephen Freund, Madanlal Musuvathi (auth.), Shaz Qadeer, Serdar Tasiran (eds.) — Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Ключевые слова