Capa do artigo Temporal Logics In Computer Science
10% OFF

Temporal Logics In Computer Science eBook

Finite-State Systems

by Martin Lange, Stephane Demri e Valentin Goranko
language: english
Publisher: CAMBRIDGE UNIVERSITY PRESS, October of 2016 ‧
155,03€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. It is a solid professional reference for researchers in the field and a graduate textbook that can be used for self-study as well as for teaching courses.

Temporal Logics In Computer Science

Finite-State Systems

by Martin Lange, Stephane Demri e Valentin Goranko

Property Description
ISBN: 9781316727164
Publisher: CAMBRIDGE UNIVERSITY PRESS
Release Date: October of 2016
Language: English
Format: eBook
File Format and Compatibility:
Collection: Cambridge Tracts In Theoretical Computer Science
Categories: eBooks in English > Computing > Schedule
EAN: 9781316727164
Acessibilidade: Ver características de acessibilidade indicadas pelo editor

BOOKS FROM THE SAME COLLECTION

MARTIN LANGE

SEE MORE TITLES BY THIS AUTHOR

STEPHANE DEMRI

SEE MORE TITLES BY THIS AUTHOR