Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Scalable Techniques for Formal Verification

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Scalable Techniques for Formal Verification SANDIP RAY
Libristo kód: 09062296
Nakladateľstvo Springer-Verlag New York Inc., október 2014
This book presents the latest approaches to formal verification techniques to seamlessly integrate d... Celý popis
? points 262 b
108.12 €
Skladom u dodávateľa Odosielame za 10-18 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Pád modrého ptáka Petr Štěpánek / Kniha Brožovaná
common.buy 6.45 €
The Villainess is a Marionette 03 hanirim / Kniha Brožovaná
common.buy 14.41 €
Lacno
Eislotus. Wasser findet seinen Weg Liza Grimm / Kniha Brožovaná
common.buy 13.81 €
Top
Láska, svoboda, samota Osho / Kniha Brožovaná
common.buy 10.98 €
30 días con Don Bosco Borelli / Kniha Brožovaná
common.buy 10.58 €
Les Martionautes Marie-France Esperce / Kniha Brožovaná
common.buy 21.68 €
ARINAGO DUK HAIZEA ABSALON/JUARISTI JUARISTI / Kniha Kniha
common.buy 18.04 €
EASY CONCERT PIECES BAND 1 GUITARE +CD PETER ANSORGE_MARTIN Kniha binding.
common.buy 35.29 €
Déluge Stephen Baxter / Kniha Brožovaná
common.buy 32.17 €
Nosferatu Philippe Druillet / Kniha Kniha
common.buy 27.12 €
Cabin Porn Za dveřmi Klein Zach / Kniha Pevná
common.buy 18.65 €
Sternenschweif (Folge 8) - Die Macht des Einhorns (Audio-CD). Folge.8, 1 Audio-CD Linda Chapman / Audio Audio CD
common.buy 9.87 €
amerikanische Besetzung Deutschlands Klaus-Dietmar Henke / Kniha Pevná
common.buy 58.69 €
Instabilitat in Natur und Wissenschaft Jan Cornelius Schmidt / Kniha Pevná
common.buy 228.05 €
Münchener Handbuch des Gesellschaftsrechts. Gesamtwerk in 7 Bänden / Kniha Pevná
common.buy 438.65 €
Bewegter Koerper - Mechanischer Apparat Christiane Kuhlmann / Kniha Brožovaná
common.buy 93.49 €

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 pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Scalable Techniques for Formal Verification
Autor SANDIP RAY
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2014
Počet strán 243
EAN 9781489984449
ISBN 9781489984449
Libristo kód 09062296
Nakladateľstvo Springer-Verlag New York Inc.
Váha 403
Rozmery 155 x 235 x 15

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Elektronika: obvody a komponenty
Technológie, strojárstvo, poľnohospodárstvo > Technológie: všeobecné témy > Strojárstvo: všeobecne
Výpočtové a informačné technológie > Grafické a digitálne mediálne aplikácie > Počítačom podporovaný dizajn (CAD)
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Set Theory for Computing Domenico Cantone / Kniha Brožovaná
common.buy 153.91 €
IUTAM Symposium on Discretization Methods for Evolving Discontinuities Alain Combescure / Kniha Brožovaná
common.buy 102.67 €
Ultraviolet Germicidal Irradiation Handbook Kowalski / Kniha Brožovaná
common.buy 307.53 €
Embodied Social Cognition Jessica Lindblom / Kniha Pevná
common.buy 102.67 €
Key Aspects of German Business Law Michael Wendler / Kniha Pevná
common.buy 177.01 €
100 Multiplication Worksheets with 5-Digit Multiplicands, 4-Digit Multipliers: Math Practice Workbook Kapoo Stem / Kniha Brožovaná
common.buy 14.01 €
Book of the Horse Angus Hyland / Kniha Brožovaná
common.buy 13.81 €
Say Goodnight Helen Oxenbury / Kniha Leporelo
common.buy 8.66 €
Lacno
Laravel Basics: Creating Web Apps. It's Simple. Gregory Blake / Kniha Brožovaná
common.buy 5.24 €
Glad To Be Dan: Discover how mindfulness helps Dan to be happy every day Jo Howarth / Kniha Brožovaná
common.buy 10.28 €
Why does my Daddy Drink Pamela J Tomlinson / Kniha Brožovaná
common.buy 17.14 €
The Mystery of Edwin Drood DICKENS / Kniha Brožovaná
common.buy 11.39 €
Essays. Collected and Arranged by Sir George Young Winthrop Mackworth Praed / Kniha Brožovaná
common.buy 21.88 €
Hands to Spell-Read-Write: Princesses Spelling Workbook Angela M Foster / Kniha Brožovaná
common.buy 18.15 €
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 14.62 €
Marked Heart: A Marked Heart Novel M Sembera / Kniha Brožovaná
common.buy 11.49 €
Force Like No Other 1 Colin Breen / Kniha Brožovaná
common.buy 14.62 €
Dinner Time / Kniha Pevná
common.buy 43.06 €
Hand Book to Veterinary Homoeopathy John Rush / Kniha Brožovaná
common.buy 5.64 €
Roscoe and Charlie: Travel to Cloudcroft Auntie Nann / Kniha Brožovaná
common.buy 9.77 €
The Adventures Of Big-Foot Wallace: The Texas Ranger And Hunter (1871) John Crittenden Duval / Kniha Brožovaná
common.buy 29.95 €
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 18.25 €
Top
Cambridge Primary Mathematics Learner's Book 2 with Digital Access (1 Year) Cherri Moseley / Kniha Brožovaná
common.buy 26.22 €
Journey to and Beyond the Blackboard Kim Johnson / Kniha Brožovaná
common.buy 16.53 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?