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 point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Scalable Techniques for Formal Verification

Language EnglishEnglish
Book Paperback
Book Scalable Techniques for Formal Verification SANDIP RAY
Libristo code: 09062296
Publishers Springer-Verlag New York Inc., October 2014
This book presents the latest approaches to formal verification techniques to seamlessly integrate d... Full description
? points 275 b
40 878 Ft
In stock at our supplier Shipping in 10-18 days

Up to 30 days for returns

Customers also purchased

EASY CONCERT PIECES BAND 1 GUITARE +CD PETER ANSORGE_MARTIN Book binding.
common.buy 12 662 Ft
30 días con Don Bosco Borelli / Book Paperback
common.buy 3 815 Ft
ARINAGO DUK HAIZEA ABSALON/JUARISTI JUARISTI / Book Book
common.buy 6 516 Ft
Pád modrého ptáka Petr Štěpánek / Book Paperback
common.buy 2 570 Ft
The Villainess is a Marionette 03 hanirim / Book Paperback
common.buy 5 687 Ft
Affordable
Eislotus. Wasser findet seinen Weg Liza Grimm / Book Paperback
common.buy 4 985 Ft
Агата Мiстерi. Книга 7. Корона дожiв Steve Stevenson / Book Hardback
common.buy 8 758 Ft
Láska, svoboda, samota Osho / Book Paperback
common.buy 5 271 Ft
Les Martionautes Marie-France Esperce / Book Paperback
common.buy 7 761 Ft
Coming soon
Les figures symboliques du Féminin et du Masculin : de la préhistoire à la mythologie VERCHERE MERLE / Book Paperback
common.buy 9 072 Ft
Les Albanais en Yougoslavie - minorité nationale, territoire et développement Roux Book Paperback
common.buy 14 028 Ft
Déluge Stephen Baxter / Book Paperback
common.buy 11 534 Ft
Nosferatu Philippe Druillet / Book Book
common.buy 9 736 Ft
Pexeso dřevo - společenská hra / 40 ks v krabici / Game/Toy Game
common.buy 8 135 Ft
Cabin Porn Za dveřmi Klein Zach / Book Hardback
common.buy 8 178 Ft
Sternenschweif (Folge 8) - Die Macht des Einhorns (Audio-CD). Folge.8, 1 Audio-CD Linda Chapman / Audio Audio CD
common.buy 3 562 Ft
Telemedicina, un mundo a descubrir Fernando Tejo / Book Paperback
common.buy 19 238 Ft
amerikanische Besetzung Deutschlands Klaus-Dietmar Henke / Book Hardback
common.buy 24 818 Ft
Instabilitat in Natur und Wissenschaft Jan Cornelius Schmidt / Book Hardback
common.buy 86 254 Ft
Münchener Handbuch des Gesellschaftsrechts. Gesamtwerk in 7 Bänden / Book Hardback
common.buy 171 694 Ft
Bewegter Koerper - Mechanischer Apparat Christiane Kuhlmann / Book Paperback
common.buy 36 529 Ft
Histoire, Proces Et Condamnation Des Criminels Celebres B RENAULT / Book Paperback
common.buy 8 608 Ft

This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies.

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 Scalable Techniques for Formal Verification
Author SANDIP RAY
Language English
Binding Book - Paperback
Date of issue 2014
Number of pages 243
EAN 9781489984449
ISBN 9781489984449
Libristo code 09062296
Publishers Springer-Verlag New York Inc.
Weight 403
Dimensions 155 x 235 x 15

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Technology, Engineering, Agriculture > Technology: general issues > Engineering: general
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
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

Set Theory for Computing Domenico Cantone / Book Paperback
common.buy 60 233 Ft
IUTAM Symposium on Discretization Methods for Evolving Discontinuities Alain Combescure / Book Paperback
common.buy 40 195 Ft
Ultraviolet Germicidal Irradiation Handbook Kowalski / Book Paperback
common.buy 120 350 Ft
Embodied Social Cognition Jessica Lindblom / Book Hardback
common.buy 40 195 Ft
Key Aspects of German Business Law Michael Wendler / Book Hardback
common.buy 68 547 Ft
Top
Say Goodnight Helen Oxenbury / Book Board book
common.buy 3 337 Ft
Affordable
Laravel Basics: Creating Web Apps. It's Simple. Gregory Blake / Book Paperback
common.buy 1 872 Ft
Glad To Be Dan: Discover how mindfulness helps Dan to be happy every day Jo Howarth / Book Paperback
common.buy 4 232 Ft
Why does my Daddy Drink Pamela J Tomlinson / Book Paperback
common.buy 7 049 Ft
Eyes Open Level 3 Class Audio CDs (3) Grade 7 Kazakhstan Edition GOLDSTEIN BEN / Audio Audio CD
common.buy 25 295 Ft
The Mystery of Edwin Drood DICKENS / Book Paperback
common.buy 4 690 Ft
100 Multiplication Worksheets with 5-Digit Multiplicands, 4-Digit Multipliers: Math Practice Workbook Kapoo Stem / Book Paperback
common.buy 5 757 Ft
Dinner Time / Book Hardback
common.buy 15 512 Ft
Hands to Spell-Read-Write: Princesses Spelling Workbook Angela M Foster / Book Paperback
common.buy 7 452 Ft
The Case of Seduction: Being, an Account of the Late Proceedings at Paris, as Well Ecclesiastical as Civil, Against the Reverend Abb E, Claud Rogers / Book Paperback
common.buy 6 160 Ft
Marked Heart: A Marked Heart Novel M Sembera / Book Paperback
common.buy 4 718 Ft
Force Like No Other 1 Colin Breen / Book Paperback
common.buy 5 552 Ft
Federica Scot Ritchie / Book Hardback
common.buy 5 865 Ft
Book of the Horse Angus Hyland / Book Paperback
common.buy 5 477 Ft
Pharmaceutical Botany Heber Wilkinson Youngken / Book Hardback
common.buy 17 366 Ft
Hand Book to Veterinary Homoeopathy John Rush / Book Paperback
common.buy 2 209 Ft
Essays. Collected and Arranged by Sir George Young Winthrop Mackworth Praed / Book Paperback
common.buy 8 950 Ft
Roscoe and Charlie: Travel to Cloudcroft Auntie Nann / Book Paperback
common.buy 4 007 Ft
The Adventures Of Big-Foot Wallace: The Texas Ranger And Hunter (1871) John Crittenden Duval / Book Paperback
common.buy 12 245 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?