Nonfiction | Computer & Technology

Verification

by Nachum Dershowitz

2020-04-19 23:56:33

Compare Price
This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included i... Read more
This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor. The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering, requirements specification, and program synthesis. Less

Book Details

Publication date February 24, 2004
Languageeng
ISBN9783540399100
autor-image
Nachum Dershowitz
Author
...

Compare Prices

Store Availability Book Format Condition Price
Indigo Books & Music In Stock Buy CAD 268.50
eBooks.com In Stock PDF (drm free, digitally watermarked) PDF (drm free, digitally watermarked) Buy USD 179.0
Indigo Books & MusicIn Stock
Format
Condition
Buy CAD 268.50
eBooks.comIn Stock
Format
PDF (drm free, digitally watermarked)
Condition
PDF (drm free, digitally watermarked)
Buy USD 179.0
Available Discount
No Discount available

Related Books

View All
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Drones For Dummies
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Complex Analysis with MATHEMATICA®
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
The Seismic Analysis Code
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Python Programming for Arduino
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
(ISC)2 CISSP Certified Information Systems Security Professional Official Study Guide
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Expanding and Networking Microcomputers
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Make
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
CompTIA Network+ Study Guide
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Microsoft SharePoint 2013 Step by Step
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Windows 10 Bible
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
The Digital Filmmaking Handbook
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Moodle Gradebook
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
MCSA SQL 2016 BI Development Exam Ref 2-pack
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Abstract Methods in Information Theory
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Rapid Prototyping Software for Avionics Systems
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Topics at the Frontier of Statistics and Network Analysis
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Privacy and Legal Issues in Cloud Computing
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Type Theory and Formal Proof
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Network Programmability and Automation
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Practical Monitoring
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Intelligence Analysis as Discovery of Evidence, Hypotheses, and Arguments
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
LPIC-1
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
CISM Certified Information Security Manager All-in-One Exam Guide
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Windows Server 2012 R2 Pocket Consultant Volume 2
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Troubleshooting Cisco Nexus Switches and NX-OS
☆ ☆ ☆ ☆ ☆

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free

Stay in touch.

© 2026 AMPLE READS