Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
Available
 
Book Details
ISBN-13: 9780691634890
EAN: 9780691634890
Publisher Date: 19 Apr 2016
Dewey: 670.42
Language: English
No of Pages: 284
Series Title: English
Width: 154 mm
ISBN-10: 0691634890
Publisher: Princeton University Press
Binding: Hardcover
Height: 230 mm
MediaMail: Y
PrintOnDemand: N
Spine Width: 17 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. KurshanR3,711Computer-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. KurshanR10,290Privatizing Water and Sewage ServicesPrivatizing Water and Sewage ServicesBy: Pun-Lee LamR1,701Religious Institutes in Western Europe in the 19th and 20th Centuries: Historiography, Research, and Legal PositionReligious Institutes in Western Europe in the 19th and 20th Centuries: Historiography, Research, and Legal PositionBy: Jan De MaeyerR2,386
Search
Home | About Us | Contact Us
Powered by Beyond Key