"Runtime Verification: A Hands-On Approach in Java"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Runtime Verification: A Hands-On Approach in Java	Christian Colombo; Gordon J. Pace	1st ed. 2022	Springer International Publishing
Lectures on Runtime Verification: Introductory and Advanced Topics	Ezio Bartocci; Yliès Falcone	1st ed. 2018	Springer International Publishing
Software Verification and Analysis: An Integrated, Hands-On Approach	Janusz Laski; William Stanley	2009	Springer London
Connectionism - A Hands-on Approach	Michael R. W. Dawson	2005	John Wiley & Sons
Post-Silicon and Runtime Verification for Modern Processors	Ilya Wagner; Valeria Bertacco	2011	Springer US
Pointers in C: A Hands on Approach	Hrishikesh Dewan; Naveen Toppo	1st ed.	Apress
Experiments in Biochemistry: A Hands-On Approach	Shawn O. Farrell; Ryan T. Ranallo	April 6, 1999	Brooks Cole
Software Engineering: A Hands-On Approach	Roger Y. Lee	2013	Atlantis Press
DNA Cloning: A Hands-on Approach	Seok-Yong Choi; Hyunju Ro; Hankuil Yi	1st ed. 2019	Springer Netherlands
Apple Pascal: a hands-on approach	Arthur Luehrmann	1981	McGraw-Hill
Learning C++: a hands-on approach /	Nagler, Eric P.	[1997], ©1997.	West Pub. Co.,
MRI optimization: a hands-on approach /	Woodward, Peggy.; Orrison, William W.	[1997], ©1997.	McGraw-Hill, Health Professions Division,
Computer literacy: a hands on approach	Arthur Luehrmann	1983	McGraw-Hill
Applied Information Security: A Hands-on Approach	David Basin; Patrick Schaller; Michael Schläpfer	2011	Springer Berlin Heidelberg
Computer & Internet Security: A Hands-on Approach	Wenliang Du	2019	Wenliang Du
Big Data Analytics: A Hands-On Approach	Arshdeep Bahga, Vijay Madisetti	2019	Arshdeep Bahga & Vijay Madisetti
Interactive Fortran 77: a hands-on approach	I. D. Chivers	1990	E. Horwood
Digital electronics, a hands-on learning approach	Young, George	1980	Hayden Book Co.
Computer & Internet Security: A Hands-on Approach	Wenliang Du	2019	Wenliang Du
Google analytics demystified: a hands-on approach	Joel J. Davis	2015	Joel J. Davis (printed on-demand)
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Java runtime		Splunk 7. x Quick Start Guide: Gain business data insights from operational intelligence	James H. Baxter	2018	Packt Publishing
MOPBox: A Library Approach to Runtime Verification	Eric Bodden	Runtime Verification: Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers	Koushik Sen; Sarfaz Khurshid	2012	Springer Berlin Heidelberg
A Hands-on Approach		How Linux Works: What Every Superuser Should Know	Brian Ward	2021	No Starch Press
A Hands-on Approach		Programming Quantum Computers: Essential Algorithms and Code Samples	Johnston, Eric R; Gimeno-Segovia, Mercedes; Harrigan, Nic	2019	O'Reilly Media
A Hands-on Approach		How Linux Works. What Every Superuser Should Know	Brian Ward	2021	no starch press
A Hands-On Approach		How Linux works: what every superuser should know, 2ed	Brian Ward	2015	No Starch Press
Some Thoughts on Runtime Verification	Oded Maler	Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings	Yliès Falcone; César Sánchez	1st ed. 2016	Springer International Publishing
Hands-On Java eSeminar		On Java 8	Bruce Eckel	2021	Leanpub
Adaptive Runtime Verification	Ezio Bartocci; Radu Grosu; Atul Karmarkar; Scott A. Smolka; Scott D. Stoller; Erez Zadok et al.	Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers	Shaz Qadeer; Serdar Tasiran	2013	Springer Berlin Heidelberg
Offline Runtime Verification	Christian Colombo; Gordon J. Pace	Runtime Verification: A Hands-On Approach in Java	Christian Colombo; Gordon J. Pace	1st ed. 2022	Springer International Publishing
Embedding Runtime Verification		Graph Theory, Computational Intelligence and Thought		2009	Springer
Teaching Runtime Verification	Martin Leucker	Runtime Verification: Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers	Koushik Sen; Sarfaz Khurshid	2012	Springer Berlin Heidelberg
Java Runtime Reflection		Programming Scala: Scalability = Functional Programming + Objects	Dean Wampler	2021	O'Reilly Media
Java Runtime Environment		Java pocket guide	Robert Liguori; Patricia Liguori	2017	O'Reilly Media
Java Runtime Libraries		Android Security Internals: An In-Depth Guide to Android's Security Architecture	Nikolay Elenkov	2014	No Starch Press
Java Runtime Libraries		Android Security Internals: An In-Depth Guide to Android's Security Architecture	Nikolay Elenkov	2014	No Starch Press
Hands-On Approach		Fluent Python	Luciano Ramalho	2021	O'Reilly Media, Inc.
Hands-On Approach		Fluent Python: Clear, Concise, and Effective Programming	Luciano Ramalho	2022	O'Reilly Media
Impartial Anticipation in Runtime-Verification	Wei Dong; Martin Leucker; Christian Schallhart	Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings	Sungdeok (Steve) Cha; Jin-Young Choi; Moonzoo Kim; Insup Lee; Mahesh Viswanathan	2008	Springer Berlin Heidelberg
Runtime Verification in Multi-Cores	Ilya Wagner; Valeria Bertacco	Post-Silicon and Runtime Verification for Modern Processors	Ilya Wagner; Valeria Bertacco	2011	Springer US
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Runtime Verification: A Hands-On Approach in Java" - similar Books and Chapters