Filters
-
Thema
-
Productvorm
-
Taal
-
Prijs
Resultaten voor 'ganesh gopalakrishnan'
-
Automata and Computability
A Programmer's PerspectiveThis class-tested textbook provides a comprehensive and accessible introduction to the theory of automata and computation. It incorporates modern/handy ideas, such as derivative-based parsing and a Lambda reducer showing the universality of Lambda calculus.
€ 63,95 -
Genitourinary Tuberculosis
Ganesh Goplakrishanan MS Mch Retired Head of Department, CMC Vellore; Vednayagam Hospital, Coimbatore, Tamil Nadu, India Sujatha Patwardhan MS MCh Urology Professor and Head, Department of Urology, Seth GS Medical College and KEM Hospital, Mumbai, India
€ 35,95 -
Automata and Computability
A Programmer's PerspectiveThis class-tested textbook provides a comprehensive and accessible introduction to the theory of automata and computation. It incorporates modern/handy ideas, such as derivative-based parsing and a Lambda reducer showing the universality of Lambda calculus.
€ 128,95 -
Computer Aided Verification
23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, ProceedingsConstitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011 that was held in Snowbird, UT, USA.
€ 60,50 -
Formal Methods in Computer-Aided Design
Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, ProceedingsTaken from a conference on formal methods in computer-aided design, the papers in this volume present the state-of-the-art in formal verification methods for digital circuits and systems, including processors, custom VLSI circuits, microcode, and reactive software.
€ 60,50 -
Computation Engineering
Applied Automata Theory and LogicIt takes more e?ort to verify that digital system designs are correct than it does to design them, and as systems get more complex the proportion of cost spent on veri?cation is increasing (one estimate is that veri?cation complexity rises as the square of design complexity).
€ 114,50 -
Computation Engineering
Applied Automata Theory and LogicIt takes more e?ort to verify that digital system designs are correct than it does to design them, and as systems get more complex the proportion of cost spent on veri?cation is increasing (one estimate is that veri?cation complexity rises as the square of design complexity).
€ 114,50 -
Computation Engineering:: Formal Specification and Verification Methods
Many textbooks on formal methods and verification do an excellent job of discussing theory -- often at the loss of providing examples. Computation Engineering: Formal Specification and Verification Methods presents formal methods with a concentration on practical applications, thus acting as a fast-track introduction to modern formal specification and verification tools and techniques. By using a wide array of puzzles, problems, industry case studies, and a variety of varification tools, students have the opportunity to learn from experience rather than rote memorization.In using this textbook, students are asked to design protocols, discover properties to state, and thus learn what exactly the whole process of formal verification involves. By inventing new concurrent protocols and then proving them correct, they are saved from simply re-visiting standard protocols, instead learning to think through the process for themselves.By using actual examples, students learn why certain methods work well, what they are lacking, and how to compare and contrast methods. Thus, they learn how to think rather than what to think. TOC:-Introduction -Overview -Promela, SPIN Verification, and Linear-time Temporal Logic -SPIN case study -Murphi Language -Murphi Case Study -NuSMV Model-Checker and BDDs -Boolean Satisfiability and Bounded Model-checking -Software Verification Methods: Blast and Java Path Finder
€ 86,50