Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Scalable Techniques for Formal Verification

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Scalable Techniques for Formal Verification SANDIP RAY
Libristo kód: 09062296
Nakladatelství Springer-Verlag New York Inc., říjen 2014
This book presents the latest approaches to formal verification techniques to seamlessly integrate d... Celý popis
? points 249 b
2 492 Kč
Skladem u dodavatele Odesíláme za 10-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Les Martionautes Marie-France Esperce / Kniha Brožovaná
common.buy 524 Kč
Top
Láska, svoboda, samota Osho / Kniha Brožovaná
common.buy 308 Kč
Eislotus. Wasser findet seinen Weg Liza Grimm / Kniha Brožovaná
common.buy 350 Kč
Bewegter Koerper - Mechanischer Apparat Christiane Kuhlmann / Kniha Brožovaná
common.buy 2 544 Kč
The Villainess is a Marionette 03 hanirim / Kniha Brožovaná
common.buy 329 Kč
Münchener Handbuch des Gesellschaftsrechts. Gesamtwerk in 7 Bänden / Kniha Pevná
common.buy 10 067 Kč
30 días con Don Bosco Borelli / Kniha Brožovaná
common.buy 259 Kč
ARINAGO DUK HAIZEA ABSALON/JUARISTI JUARISTI / Kniha Kniha
common.buy 441 Kč
EASY CONCERT PIECES BAND 1 GUITARE +CD PETER ANSORGE_MARTIN Kniha binding.
common.buy 854 Kč
Déluge Stephen Baxter / Kniha Brožovaná
common.buy 779 Kč
Nosferatu Philippe Druillet / Kniha Kniha
common.buy 657 Kč
Instabilitat in Natur und Wissenschaft Jan Cornelius Schmidt / Kniha Pevná
common.buy 5 257 Kč
Pád modrého ptáka Petr Štěpánek / Kniha Brožovaná
common.buy 139 Kč
Cabin Porn Za dveřmi Klein Zach / Kniha Pevná
common.buy 509 Kč
Sternenschweif (Folge 8) - Die Macht des Einhorns (Audio-CD). Folge.8, 1 Audio-CD Linda Chapman / Audio Audio CD
common.buy 240 Kč
amerikanische Besetzung Deutschlands Klaus-Dietmar Henke / Kniha Pevná
common.buy 1 425 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Scalable Techniques for Formal Verification
Autor SANDIP RAY
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2014
Počet stran 243
EAN 9781489984449
ISBN 9781489984449
Libristo kód 09062296
Nakladatelství Springer-Verlag New York Inc.
Váha 403
Rozměry 155 x 235 x 15

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Elektronika: obvody a komponenty
Technologie, strojírenství, zemědělství > Technologie: obecná témata > Strojírenství: obecně
Výpočetní a informační technologie > Grafické a digitální mediální aplikace > Počítačem podporovaný design (CAD)
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

IUTAM Symposium on Discretization Methods for Evolving Discontinuities Alain Combescure / Kniha Brožovaná
common.buy 2 646 Kč
Embodied Social Cognition Jessica Lindblom / Kniha Pevná
common.buy 2 646 Kč
Ultraviolet Germicidal Irradiation Handbook Kowalski / Kniha Brožovaná
common.buy 7 534 Kč
Key Aspects of German Business Law Michael Wendler / Kniha Pevná
common.buy 4 294 Kč
Essays. Collected and Arranged by Sir George Young Winthrop Mackworth Praed / Kniha Brožovaná
common.buy 532 Kč
Force Like No Other 1 Colin Breen / Kniha Brožovaná
common.buy 387 Kč
Marked Heart: A Marked Heart Novel M Sembera / Kniha Brožovaná
common.buy 279 Kč
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 / Kniha Brožovaná
common.buy 354 Kč
Hands to Spell-Read-Write: Princesses Spelling Workbook Angela M Foster / Kniha Brožovaná
common.buy 441 Kč
100 Multiplication Worksheets with 5-Digit Multiplicands, 4-Digit Multipliers: Math Practice Workbook Kapoo Stem / Kniha Brožovaná
common.buy 340 Kč
Why does my Daddy Drink Pamela J Tomlinson / Kniha Brožovaná
common.buy 417 Kč
Glad To Be Dan: Discover how mindfulness helps Dan to be happy every day Jo Howarth / Kniha Brožovaná
common.buy 250 Kč
Levně
Laravel Basics: Creating Web Apps. It's Simple. Gregory Blake / Kniha Brožovaná
common.buy 126 Kč
Say Goodnight Helen Oxenbury / Kniha Leporelo
common.buy 183 Kč
Book of the Horse Angus Hyland / Kniha Brožovaná
common.buy 314 Kč
Dinner Time / Kniha Pevná
common.buy 1 048 Kč
Hand Book to Veterinary Homoeopathy John Rush / Kniha Brožovaná
common.buy 132 Kč
Roscoe and Charlie: Travel to Cloudcroft Auntie Nann / Kniha Brožovaná
common.buy 237 Kč
The Adventures Of Big-Foot Wallace: The Texas Ranger And Hunter (1871) John Crittenden Duval / Kniha Brožovaná
common.buy 728 Kč
Small and Tiny House Plans Design Book: Small home plans + granny flat plans in Metric and Feet and Inches House Plans / Kniha Brožovaná
common.buy 444 Kč
Top
Cambridge Primary Mathematics Learner's Book 2 with Digital Access (1 Year) Cherri Moseley / Kniha Brožovaná
common.buy 635 Kč
Journey to and Beyond the Blackboard Kim Johnson / Kniha Brožovaná
common.buy 568 Kč
Science of Deliverance, The Petra Nott / Kniha Brožovaná
common.buy 510 Kč
White Rose Maths Practice Journals Year 7 Workbook: Single Copy (Paperback) Matthew Ainscough / Kniha Brožovaná
common.buy 202 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?