Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Computer Aided Verification

Rupak Majumdar

Viktor Kuncak

Language

English

Book Paperback

Libristo code: 16495653

Publishers Springer International Publishing AG, July 2017

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th Intern... Full description

Libristo code: 16495653

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

La vie rêvée du Post-partum Caroline Michel Book

Paperback

8 957 Ft

Lone Survivor (Original Motion Picture Soundtrack)

Audio CD

6 230 Ft

Didier Grousset/Brigitte Smadja: Il faut sauver Saïd: Filmanalyse Martin Thoböll

Paperback

12 590 Ft

Beziehungsmanagement im Sportsponsoring? Thorben Meier

Paperback

25 577 Ft

PHDA na pratica Rui Pedro Ribeiro

Adobe ePub DRM

3 120 Ft

Sortie à la médiathèque, niveau 1 - J'apprends à lire Montessori Charlotte Jouenne

Paperback

2 450 Ft

PASSACAILLE --- GUITARE KLEYNJANS FRANCIS Book

binding.

4 617 Ft

One Piece 95 Antje Bockel

Paperback

2 695 Ft

Comment Jouer Au Golf VARDON-H

Paperback

7 756 Ft

Leonor Merimee (1757-1836) Gaston Pinet

Paperback

7 034 Ft

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.

Actress & Polyglot

EWA KASP for

Play video

Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Computer Aided Verification

Author Rupak Majumdar, Viktor Kuncak

Language

English

Binding Book - Paperback

Date of issue 2017

Number of pages 601

EAN 9783319633862

ISBN 3319633864

Libristo code 16495653

Publishers Springer International Publishing AG

Weight 9299

Dimensions 155 x 235 x 35

You might also be interested in

Product Research 101: Find Winning Products to Sell on Amazon and Beyond Renae Clark

Paperback

3 106 Ft

Storm Makers Jennifer E. Smith

Paperback

6 637 Ft

Walkertown Area Historical Society Walkertown

Paperback

7 594 Ft

Doberman Pinschers Christina Leighton

Hardback

12 576 Ft

THE GEORGIAN; OR, THE MOOR OF TRIPOLI: A ELIZABETH THOMAS

Hardback

11 726 Ft

Current Developments in Biotechnology and Bioengineering Ashok Pandey

Paperback

70 289 Ft

First Principles of Gastroenterology and Hepatology in Adults and Children - Volume I - Gastroenterology: Volume I - Gastroenterology A B R Thomson

Paperback

16 047 Ft

Sudoku Minesweeper - 200 Easy to Medium Puzzles 9x9 (Volume 7) Dart Veider

Paperback

2 930 Ft

Immunomodulatory Role of Black Seed Oil Muhammad Shahzad

Paperback

17 720 Ft

The Story of King Arthur and His Knights Howard Pyle

Paperback

5 232 Ft

Hizballah Shimon Shapira

Paperback

21 122 Ft

Rutherford College Catalog; 1924-1925 Rutherford College

Paperback

7 034 Ft

The Unofficial Disney Parks Cookbooks Boxed Set: The Unofficial Disney Parks Cookbook, the Unofficial Disney Parks EPCOT Cookbook, the Unofficial Disn Craft

Hardback

13 953 Ft