Robert P. Kurshan – författare
Visar alla böcker från författaren Robert P. Kurshan. Handla med fri frakt och snabb leverans.
8 produkter
Computer-Aided Verification of Coordinating Processes
The Automata-Theoretic Approach
Häftad, 2014
1071 kr
Lägg i varukorg
Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design …
Computer-Aided Verification of Coordinating Processes
The Automata-Theoretic Approach
Inbunden, 2016
2629 kr
Lägg i varukorg
Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design …
Computer-Aided Verification of Coordinating Processes
The Automata-Theoretic Approach
E-bok, 2014
827 kr
Lägg i varukorg
Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design …
Investment Industry Claims Debunked
Smart Personal Finance Management For Ordinary Folks, Before and After Retirement
Häftad, 2021
346 kr
Lägg i varukorg
This book is for people who want to know what to do with the money they save: so that it’s there when they need it — to buy a home, pay for college, etc. — but also grows enough so they don’t outlive it. The investment industry is fixated on the importance of maintaining a “balance” of stocks and …
Investment Industry Claims Debunked
Smart Personal Finance Management For Ordinary Folks, Before and After Retirement
E-bok, 2021
455 kr
Lägg i varukorg
This book is for people who want to know what to do with the money they save: so that it’s there when they need it — to buy a home, pay for college, etc. — but also grows enough so they don’t outlive it. The investment industry is fixated on the importance of maintaining a “balance” of stocks and …
Computer-Aided Verification
2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
Av Edmund M. Clarke Jr., Robert P. Kurshan
Häftad, 1991
551 kr
Lägg i varukorg
This volume contains the proceedings of the second workshopon Computer Aided Verification, held at DIMACS, RutgersUniversity, June 18-21, 1990. Itfeatures theoreticalresults that lead to new or more powerful verificationmethods. Among these are advances in the use of binarydecision diagrams, dense …
Verification of Digital and Hybrid Systems
Av Robert P. Kurshan, M. Kemal Inan
E-bok, 2012
1459 kr
Lägg i varukorg
This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUrkey from 26 May to 6 June 1997. The purpose of the summer school was to expose recent advances in the formal verification of systems composed of both logical and continuous time components. The course …
Verification of Digital and Hybrid Systems
Av M. Kemal Inan, Robert P. Kurshan
Häftad, 2011
1128 kr
Lägg i varukorg
This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUrkey from 26 May to 6 June 1997. The purpose of the summer school was to expose recent advances in the formal verification of systems composed of both logical and continuous time components. The course …
