Computer-aided Verification
Available
 
Book Details
ISBN-13: 9781461365792
EAN: 9781461365792
Publisher Date: 05 Oct 2012
Dewey: 621.392
Language: English
No of Pages: 142
Returnable: N
Spine Width: 8 mm
ISBN-10: 1461365791
Publisher: Springer
Binding: Paperback
Height: 230 mm
MediaMail: Y
PrintOnDemand: N
Series Title: English
Width: 154 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: 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,168Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic ApproachComputer-Aided Verification of Coordinating Processes: The Automata-Theoretic ApproachBy: Robert P. KurshanR3,711Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic ApproachComputer-Aided Verification of Coordinating Processes: The Automata-Theoretic ApproachBy: Robert P. KurshanR10,290
Recently Viewed
Computer-aided VerificationComputer-aided VerificationBy: Robert KurshanR17,134Private Information RetrievalPrivate Information RetrievalBy: Lambert M. SurhoneR3,511Microsoft Office XPMicrosoft Office XPBy: Frederic P. MillerR4,115
Search
Home | About Us | Contact Us
Powered by Beyond Key