Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
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
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Verification, Model Checking, and Abstract Interpretation

5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

Language EnglishEnglish
Book Paperback
Book Verification, Model Checking, and Abstract Interpretation Bernhard Steffen
Libristo code: 01558944
Publishers Springer, Berlin, November 2003
This book constitutes the refereed proceedings of the 5th International Conference on Verification,... Full description
? points 136 b
19 902 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Tortų Meistryste: Magiskos Skonio Pasakos Emilija Kazlauskaitė / Book Paperback
common.buy 11 712 Ft
lezione di un maestro. Scritti su Santo Mazzarino Mario Mazza / Book Paperback
common.buy 10 140 Ft
Vieš, ako veľmi ťa ľúbim? Alma Grossová / Book Hardback
common.buy 3 869 Ft
Goutte, Le Rhumatisme Et Les Diverses Manifestations de la Diathese Arthritique PETIT-C / Book Paperback
common.buy 5 934 Ft
Koran Hermann-Josef Frisch / Book Paperback
common.buy 4 922 Ft
Bulletin de la Société archéologique de Nantes et du département de la Loire-inférieure SOCIETE DE NANTES / Book Paperback
common.buy 7 034 Ft
Sóvárgás Tracy Wolff / Book Hardback
common.buy 6 169 Ft
La configuración de la nueva Europa: aspectos políticos, institucionales y estratégicos Garrido Rebolledo / Book Paperback
common.buy 7 635 Ft
La Carta de Derechos Fundamentales de la Unión Europea. Diez Años de Jurisprudencia López Castillo / Book Paperback
common.buy 57 191 Ft
Stvorenie hriechu Michal Kučerka / Book Paperback
common.buy 2 829 Ft
Erken Cocukluk Kitapligi Aile Agaci Haydi Ögrenelim Nuria Roca / Book Paperback
common.buy 2 593 Ft
In seinem Garten liebt Don Perlimplin Belisa Wolfgang Fortner / Book Paperback
common.buy 3 355 Ft

This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004.The 22 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 68 submissions. The papers are organized in topical sections on security, formal methods, model checking, software checking, liveness and completeness, and miscellaneous.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Verification, Model Checking, and Abstract Interpretation
Author Bernhard Steffen, Giorgio Levi
Language English
Binding Book - Paperback
Date of issue 2004
Number of pages 325
EAN 9783540208037
ISBN 3540208038
Libristo code 01558944
Publishers Springer, Berlin
Weight 480
Dimensions 156 x 234 x 18

Categories

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Cybersecurity Evan Jones / Book Paperback
common.buy 18 335 Ft
Magical Rescue Vets: Suki the Sea Dragon Morgan Huff / Book Paperback
common.buy 2 112 Ft
Hymns Translated From The Welsh By Mrs.penderel Llewelyn William Williams / Book Hardback
common.buy 10 288 Ft
A Letter Addressed To The Lord Viscount Melbourne (1837) Cecil Fane / Book Paperback
common.buy 7 756 Ft
THE CHRISTIAN RECOVERY OF SPAIN, BEING T HENRY EDWARD WATTS / Book Hardback
common.buy 17 688 Ft
Truths of Spiritualism Wilson Ebenezer V. Wilson / Book Paperback
common.buy 10 390 Ft
The Things We Do For Love: Luke & Shelly Anita Louise / Book Paperback
common.buy 4 982 Ft
Unlevel Crossings Michael O'Leary / Book Paperback
common.buy 2 768 Ft
Letters from Dollar the Contributor Bunny McCollonough Ceili / Book Paperback
common.buy 3 282 Ft
Songs of Spring and Blossoms of Unrequited Love Eilshemius Louis M. Eilshemius / Book Paperback
common.buy 7 298 Ft
Advanced Concepts for Intelligent Vision Systems Jacques Blanc-Talon / Book Paperback
common.buy 19 902 Ft
NRSV Reference Bible, NR560:X BIBLE / Book Hardback
common.buy 7 575 Ft
30 Worksheets - Finding Larger Number of 10 Digits: Math Practice Workbook Kapoo Stem / Book Paperback
common.buy 2 930 Ft
Demoniality: Or, Incubi And Succubi (1879) Ludovico Maria Sinistrari / Book Paperback
common.buy 5 348 Ft
History of the Roman Empire John Bagnell Bury / Book Paperback
common.buy 14 189 Ft
British India and Victorian Literary Culture NI FHLATHUIN MAIRE / Book Paperback
common.buy 13 926 Ft
Communities and Livelihood Strategies in Developing Countries Keshav Lall Maharjan / Book Paperback
common.buy 39 688 Ft
Archaeology and Heritage of the Human Movement into Space Beth Laura O Leary / Book Hardback
common.buy 19 902 Ft
Advanced Psychic Development - Learn how to practise as a professional contemporary spiritual medium Becky Walsh / Book Paperback
common.buy 7 561 Ft
Self-Determination and Secession in International Law Christian Walter / Book Hardback
common.buy 74 380 Ft
History, Politics, and the Novel Dominick LaCapra / Book Paperback
common.buy 19 389 Ft
In Subordination Mary Kinnear / Book Paperback
common.buy 16 944 Ft
Physics of High Power Laser Matter Interactions H. Takabe / Book Hardback
common.buy 64 031 Ft
Factors Affecting Calf Crop Michael J. Fields / Book Hardback
common.buy 120 769 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?