Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming

Buy Now

Computer Aided Verification - 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings (Paperback, 1998 ed.) Loot Price: R2,886
Discovery Miles 28 860
Repayment Terms: R270 pm x 12*
Add to cart
Computer Aided Verification - 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998,...

Computer Aided Verification - 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings (Paperback, 1998 ed.)

Alan J. Hu, Moshe Y. Vardi

Series: Lecture Notes in Computer Science, 1427

 (sign in to rate)
Loot Price R2,886 Discovery Miles 28 860 | Repayment Terms: R270 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 1427
Release date: 2001
First published: 1998
Editors: Alan J. Hu • Moshe Y. Vardi
Dimensions: 235 x 155 x 29mm (L x W x T)
Format: Paperback
Pages: 552
Edition: 1998 ed.
ISBN-13: 978-3-540-64608-2
Categories: Books > Computing & IT > General theory of computing > General
Books > Computing & IT > Computer programming > General
Books > Computing & IT > Applications of computing > General
Promotions
LSN: 3-540-64608-6
Barcode: 9783540646082

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Problem Solving with C++ - Global Edition (Paperback, 10th edition): Walter Savitch
Problem Solving with C++ - Global…
Walter Savitch Paperback R2,189 R1,762 Discovery Miles 17 620
Introducing Delphi Programming - Theory Through Practice (Paperback, 4th Edition): John Barrow, Linda Miller, Katherine Malan,...
Introducing Delphi Programming - Theory…
John Barrow, Linda Miller, … Paperback  (1)
 R785 Discovery Miles 7 850
Programming Logic & Design (Paperback, 10th edition): Joyce Farrell
Programming Logic & Design
Joyce Farrell Paperback R757 Discovery Miles 7 570
C++ Programming - Program Design Including Data Structures (Paperback, 8th edition): D. Malik
C++ Programming - Program Design…
D. Malik Paperback R1,646 R1,523 Discovery Miles 15 230
Program Construction - Calculating Implementations from Specifications (Paperback): Roland Backhouse
Program Construction - Calculating…
Roland Backhouse Paperback R2,460 Discovery Miles 24 600
Introduction to Python Programming and Developing GUI Applications with PyQT (Paperback, New edition): B. Harwani
Introduction to Python Programming and…
B. Harwani Paperback  (2)
 R935 Discovery Miles 9 350
Programming Logic & Design, Comprehensive (Paperback, 9th edition): Joyce Farrell
Programming Logic & Design…
Joyce Farrell Paperback R1,256 R1,170 Discovery Miles 11 700
Hardware Accelerator Systems for Artificial Intelligence and Machine Learning, Volume 122 (Hardcover): Shiho Kim, Ganesh...
Hardware Accelerator Systems for…
Shiho Kim, Ganesh Chandra Deka Hardcover R3,950 Discovery Miles 39 500
Dark Silicon and Future On-chip Systems, Volume 110 (Hardcover): Suyel Namasudra, Hamid Sarbazi-Azad
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R3,940 Discovery Miles 39 400
Creativity in Computing and DataFlow SuperComputing, Volume 104 (Hardcover): Suyel Namasudra, Veljko Milutinovic
Creativity in Computing and DataFlow…
Suyel Namasudra, Veljko Milutinovic Hardcover R4,204 Discovery Miles 42 040
Temporal Data Mining via Unsupervised Ensemble Learning (Paperback, UK ed.): Yun Yang
Temporal Data Mining via Unsupervised…
Yun Yang Paperback R1,173 Discovery Miles 11 730
News Search, Blogs and Feeds - A Toolkit (Paperback, New): Lars Vage, Lars Iselid
News Search, Blogs and Feeds - A Toolkit
Lars Vage, Lars Iselid Paperback R1,332 Discovery Miles 13 320

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners