Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
Available
 
Book Details
ISBN-13: 9780691606057
EAN: 9780691606057
Publisher Date: 14 Jul 2014
Dewey: 670.42
Language: English
No of Pages: 284
Series Title: English
Width: 154 mm
ISBN-10: 0691606056
Publisher: Princeton University Press
Binding: Paperback
Height: 230 mm
MediaMail: Y
PrintOnDemand: N
Spine Width: 15 mm
BestsellersView More
32% Star Wars: Darth Vader - Dark Lord of the Sith Vol. 1R1,270R862 Star Wars: Darth Vader - Dark Lord of the Sith Vol. 1
37% The Subtle Art of Not Giving A F*Ck: A Counterintuitive Approach to Living a Good LifeR1,270R800 The Subtle Art of Not Giving A F*Ck: A Counterintuitive Approach to Living a Good LifeMark Manson
21% Scion Of IkshvakuR350R276 Scion Of IkshvakuAmish
21% SapiensR499R394 SapiensYuval Noah Harari
21% Thinking, Fast and SlowR499R394 Thinking, Fast and SlowDaniel Kahneman
Similar Books
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic ApproachComputer-Aided Verification of Coordinating Processes: The Automata-Theoretic ApproachBy: Robert P. KurshanR10,290Computer-aided VerificationComputer-aided VerificationBy: Robert KurshanR17,134Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided VerificationComputer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided VerificationBy: Robert KurshanR17,168
Recently Viewed
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic ApproachComputer-Aided Verification of Coordinating Processes: The Automata-Theoretic ApproachBy: Robert P. KurshanR3,71137%Dennis Roy Choate, Petitioner, V. United States. U.S. Supreme Court Transcript of Record with Supporting PleadingsDennis Roy Choate, Petitioner, V. United States. U.S. Supreme Court Transcript of Record with Supporting PleadingsBy: Wade H. McCreeR3,317R2,086The Illustrated Hand-Book, a New Guide for Travelers Through the United States of America ..The Illustrated Hand-Book, a New Guide for Travelers Through the United States of America ..By: John Calvin [From Old Catalog] SmithR2,095
Search
Home | About Us | Contact Us
Powered by Beyond Key