Capa do artigo Decidability Of Parameterized Verification

Decidability Of Parameterized Verification

by Igor Konnov, Ayrat Kalimov, Swen Jacobs e Roderick Bloem
language: english
Publisher: MORGAN & CLAYPOOL PUBLISHERS, September of 2015 ‧
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book

Decidability Of Parameterized Verification

by Igor Konnov, Ayrat Kalimov, Swen Jacobs e Roderick Bloem

Property Description
ISBN: 9781627057431
Publisher: MORGAN & CLAYPOOL PUBLISHERS
Release Date: September of 2015
Language: English
Dimensions: 187 x 235 x 20 mm
Cover: Softcover
Pages: 170
Format: Book
Collection: Synthesis Lectures On Distributed Computing Theory
Categories: Books in English > Computing > Other Applications
EAN: 9781627057431

BOOKS FROM THE SAME COLLECTION

SEE MORE TITLES FROM THIS COLLECTION

IGOR KONNOV

SEE MORE TITLES BY THIS AUTHOR

AYRAT KALIMOV

SEE MORE TITLES BY THIS AUTHOR

SWEN JACOBS

SEE MORE TITLES BY THIS AUTHOR

RODERICK BLOEM

SEE MORE TITLES BY THIS AUTHOR