Lupă
Încărcător de căutare

Stephane Demri & Valentin Goranko 
Temporal Logics in Computer Science 
Finite-State Systems

Ajutor
Copertina de Stephane Demri & Valentin Goranko: Temporal Logics in Computer Science (PDF)
€134.38
Metode de plata
Limba Engleză ● Format PDF ● ISBN 9781316728567 ● Editura Cambridge University Press ● Publicat 2016 ● Descărcabil 3 ori ● Valută EUR ● ID 5691251 ● Protecție împotriva copiilor Adobe DRM
Necesită un cititor de ebook capabil de DRM

Mai multe cărți electronice de la același autor (i) / Editor

Stephane DemriValentin GorankoMartin Lange

16.089 Ebooks din această categorie

Copertina de Amanda Baker & Hayley Horn: Databricks ML in Action
Amanda Baker & Hayley Horn: Databricks ML in Action
Get to grips with autogenerating code, deploying ML algorithms, and leveraging various ML lifecycle features on the Databricks Platform, guided by best practices and reusable code for you to try, …
EPUB
Adobe DRM
€37.64
Copertina de John Ilgenfritz & Merle Ilgenfritz: VMware Certified Professional Test Prep
John Ilgenfritz & Merle Ilgenfritz: VMware Certified Professional Test Prep
Written by VM-certified instructors with years of professional and teaching experience, VMware Certified Professional Test Prep is the ultimate guide to the VCP exam. Its organized and highly practic …
EPUB
Adobe DRM
€71.38
Copertina de Matthew John Yee-King: Build AI-Enhanced Audio Plugins with C++
Matthew John Yee-King: Build AI-Enhanced Audio Plugins with C++
Build AI-Enhanced Audio Plugins with C++ explains how to embed artificial intelligence technology inside tools that can be used by audio and music professionals, through worked examples using Python, …
EPUB
Adobe DRM
€49.93
Copertina de Peter F. Linington & Zoran Milosevic: Building Enterprise Systems with ODP
Peter F. Linington & Zoran Milosevic: Building Enterprise Systems with ODP
The Reference Model of Open Distributed Processing (RM-ODP) is an international standard that provides a solid basis for describing and building widely distributed systems and applications in a …
EPUB
Adobe DRM
€75.14
Copertina de Brian J. Keller: Practical Guide To X Window Programming
Brian J. Keller: Practical Guide To X Window Programming
A Practical Guide to X Window Programming is a basic guide that takes readers step by step through developing applications using X-Windows. The book covers the Xt Intrinsics portion of the X-Window …
EPUB
Adobe DRM
€257.52
Copertina de Sourabh Sharma: Modern API Development with Spring 6 and Spring Boot 3
Sourabh Sharma: Modern API Development with Spring 6 and Spring Boot 3
<p><b>Discover ways to enhance your application”s functionality through hands-on learning for designing, testing, securing, deploying, and maintaining production-ready …
EPUB
Adobe DRM
€33.68
Copertina de Sini Raj Pulari & Shriram K Vasudevan: Deep Learning
Sini Raj Pulari & Shriram K Vasudevan: Deep Learning
Deep Learning: A Comprehensive Guide provides comprehensive coverage of Deep Learning (DL) and Machine Learning (ML) concepts. DL and ML are the most sought-after domains, requiring a deep understand …
EPUB
Adobe DRM
€61.49
Copertina de Ralph Morelli & Allen Tucker: Software Development
Ralph Morelli & Allen Tucker: Software Development
To understand the principles and practice of software development, there is no better motivator than participating in a software project with real-world value and a life beyond the academic arena. …
EPUB
Adobe DRM
€106.69
Copertina de Jimmy Engstrom: Web Development with Blazor
Jimmy Engstrom: Web Development with Blazor
Develop modern web UIs with Blazor Server and Blazor Web Assembly now introducing Streaming and Static Server-Side Rendering (SSR) and flexible hosting models in .NET 8Purchase of the print or Kindle …
EPUB
Adobe DRM
€41.16