Jr. Edmund M. Clarke & Orna Grumberg 
Model Checking, second edition [EPUB ebook] 

Support
Cover of Jr. Edmund M. Clarke & Orna Grumberg: Model Checking, second edition (ePUB)
€87.39
payment methods
Buy this ebook and get 1 more FREE!
Language English ● Format EPUB ● ISBN 9780262349451 ● Publisher MIT Press ● Published 2018 ● Downloadable 3 times ● Currency EUR ● ID 8105771 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Jr. Edmund M. ClarkeOrna GrumbergDaniel KroeningDoron PeledHelmut Veith

16,607 Ebooks in this category

Cover of Loveleen Gaur & Vishal Jain: Handbook of Research on Engineering Innovations and Technology Management in Organizations
Loveleen Gaur & Vishal Jain: Handbook of Research on Engineering Innovations and Technology Management in Organizations
As technology weaves itself more tightly into everyday life, socio-economic development has become intricately tied to these ever-evolving innovations. Technology management is now an integral …
EPUB
Adobe DRM
€458.25
Cover of H. Patricia McKenna: Ambient Urbanities as the Intersection Between the IoT and the IoP in Smart Cities
H. Patricia McKenna: Ambient Urbanities as the Intersection Between the IoT and the IoP in Smart Cities
EPUB
Adobe DRM
€249.31
Cover of Li Chen & Jing Tian: Intelligent Image and Video Interpretation: Algorithms and Applications
Li Chen & Jing Tian: Intelligent Image and Video Interpretation: Algorithms and Applications
EPUB
Adobe DRM
€210.43
Cover of Narendra Kumar Kamila: Handbook of Research on Emerging Perspectives in Intelligent Pattern Recognition, Analysis, and Image Processing
Narendra Kumar Kamila: Handbook of Research on Emerging Perspectives in Intelligent Pattern Recognition, Analysis, and Image Processing
EPUB
Adobe DRM
€323.44
Cover of Gilbert Held: Wireless Mesh Networks
Gilbert Held: Wireless Mesh Networks
Wireless mesh networking is a new technology that has the potential to revolutionize how we access the Internet and communicate with co-workers and friends. Wireless Mesh Networks examines the …
EPUB
Adobe DRM
€70.21
Cover of Raman Jhajj: Mastering MLOps Architecture
Raman Jhajj: Mastering MLOps Architecture
MLOps, a combination of Dev Ops, data engineering, and machine learning, is crucial for delivering high-quality machine learning results due to the dynamic nature of machine learning data. This book …
EPUB
Adobe DRM
€25.32
Cover of Roger Bartlett & Youlian Hong: Routledge Handbook of Biomechanics and Human Movement Science
Roger Bartlett & Youlian Hong: Routledge Handbook of Biomechanics and Human Movement Science
The Routledge Handbook of Biomechanics and Human Movement Science is a landmark work of reference. Now available in a concise paperback edition, it offers a comprehensive and in-depth survey of curre …
EPUB
Adobe DRM
€92.21
Cover of Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis
Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis
To understand the dynamic patterns of behaviours and interactions between athletes that characterize successful performance in different sports is an important challenge for all sport practitioners. …
EPUB
Adobe DRM
€48.50
Cover of Jyoti Sekhar Banerjee & Jyotsna Kumar Mandal: Applications of Machine intelligence in Engineering
Jyoti Sekhar Banerjee & Jyotsna Kumar Mandal: Applications of Machine intelligence in Engineering
The Global Conference on Artificial Intelligence and Applications (GCAIA 2021) provides a prominent venue for researchers, engineers, entrepreneurs, and scholar students to share their research ideas …
EPUB
Adobe DRM
€62.54
Cover of Joseph D. Dumas II: Computer Architecture
Joseph D. Dumas II: Computer Architecture
Not only does almost everyone in the civilized world use a personal computer, smartphone, and/or tablet on a daily basis to communicate with others and access information, but virtually every other m …
EPUB
Adobe DRM
€75.39
Next page >>>