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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 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ů

Až 30 dní na vrácení zboží

Zákazníci také koupili

EASY CONCERT PIECES BAND 1 GUITARE +CD PETER ANSORGE_MARTIN Kniha binding.
common.buy 831 Kč
Les Martionautes Marie-France Esperce / Kniha Brožovaná
common.buy 610 Kč
ARINAGO DUK HAIZEA ABSALON/JUARISTI JUARISTI / Kniha Kniha
common.buy 438 Kč
Láska, svoboda, samota Osho / Kniha Brožovaná
common.buy 307 Kč
30 días con Don Bosco Borelli / Kniha Brožovaná
common.buy 256 Kč
Агата Мiстерi. Книга 7. Корона дожiв Steve Stevenson / Kniha Pevná
common.buy 590 Kč
Levně
Eislotus. Wasser findet seinen Weg Liza Grimm / Kniha Brožovaná
common.buy 363 Kč
The Villainess is a Marionette 03 hanirim / Kniha Brožovaná
common.buy 329 Kč
Telemedicina, un mundo a descubrir Fernando Tejo / Kniha Brožovaná
common.buy 1 115 Kč
Histoire, Proces Et Condamnation Des Criminels Celebres B RENAULT / Kniha Brožovaná
common.buy 524 Kč
Bewegter Koerper - Mechanischer Apparat Christiane Kuhlmann / Kniha Brožovaná
common.buy 2 151 Kč
Münchener Handbuch des Gesellschaftsrechts. Gesamtwerk in 7 Bänden / Kniha Pevná
common.buy 10 067 Kč
Neue Mobilitats- Und Migrationsprozesse Und Sozialraumliche Segregation Rauf Ceylan / Kniha Brožovaná
common.buy 1 104 Kč
Instabilitat in Natur und Wissenschaft Jan Cornelius Schmidt / Kniha Pevná
common.buy 5 257 Kč
amerikanische Besetzung Deutschlands Klaus-Dietmar Henke / Kniha Pevná
common.buy 1 425 Kč
LAS INITIAL COIN OFFERING (ICOS) Y LA TOKENIZACIÓN DE LA ECONOMÍA FAFAEL DEL CASTILLO IONOV / Kniha Brožovaná
common.buy 691 Kč
Připravujeme
Les figures symboliques du Féminin et du Masculin : de la préhistoire à la mythologie VERCHERE MERLE / Kniha Brožovaná
common.buy 588 Kč
Sternenschweif (Folge 8) - Die Macht des Einhorns (Audio-CD). Folge.8, 1 Audio-CD Linda Chapman / Audio Audio CD
common.buy 234 Kč
Cabin Porn Za dveřmi Klein Zach / Kniha Pevná
common.buy 509 Kč
Pád modrého ptáka Petr Štěpánek / Kniha Brožovaná
common.buy 148 Kč
Obras De Granada Luis / Kniha Brožovaná
common.buy 619 Kč
Pexeso dřevo - společenská hra / 40 ks v krabici / Hra/Hračka Hra
common.buy 530 Kč
Nosferatu Philippe Druillet / Kniha Kniha
common.buy 633 Kč
Déluge Stephen Baxter / Kniha Brožovaná
common.buy 756 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

Set Theory for Computing Domenico Cantone / Kniha Brožovaná
common.buy 3 532 Kč
IUTAM Symposium on Discretization Methods for Evolving Discontinuities Alain Combescure / Kniha Brožovaná
common.buy 2 357 Kč
Ultraviolet Germicidal Irradiation Handbook Kowalski / Kniha Brožovaná
common.buy 7 057 Kč
Embodied Social Cognition Jessica Lindblom / Kniha Pevná
common.buy 2 357 Kč
Key Aspects of German Business Law Michael Wendler / Kniha Pevná
common.buy 4 355 Kč
100 Multiplication Worksheets with 5-Digit Multiplicands, 4-Digit Multipliers: Math Practice Workbook Kapoo Stem / Kniha Brožovaná
common.buy 340 Kč
Pharmaceutical Botany Heber Wilkinson Youngken / Kniha Pevná
common.buy 1 015 Kč
Top
Book of the Horse Angus Hyland / Kniha Brožovaná
common.buy 314 Kč
Say Goodnight Helen Oxenbury / Kniha Leporelo
common.buy 182 Kč
Levně
Laravel Basics: Creating Web Apps. It's Simple. Gregory Blake / Kniha Brožovaná
common.buy 51 Kč
Glad To Be Dan: Discover how mindfulness helps Dan to be happy every day Jo Howarth / Kniha Brožovaná
common.buy 250 Kč
Why does my Daddy Drink Pamela J Tomlinson / Kniha Brožovaná
common.buy 417 Kč
Eyes Open Level 3 Class Audio CDs (3) Grade 7 Kazakhstan Edition GOLDSTEIN BEN / Audio Audio CD
common.buy 1 431 Kč
The Mystery of Edwin Drood DICKENS / Kniha Brožovaná
common.buy 277 Kč
Hands to Spell-Read-Write: Princesses Spelling Workbook Angela M Foster / Kniha Brožovaná
common.buy 441 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č
Marked Heart: A Marked Heart Novel M Sembera / Kniha Brožovaná
common.buy 279 Kč
Force Like No Other 1 Colin Breen / Kniha Brožovaná
common.buy 332 Kč
Multi-age Learning Community in Action Barbara Cozza / Kniha Brožovaná
common.buy 1 353 Kč
Journey to and Beyond the Blackboard Kim Johnson / Kniha Brožovaná
common.buy 378 Kč
A Certain Magical Index Nt, Vol. 5 (Light Novel) Kiyotaka Haimura / Kniha Brožovaná
common.buy 292 Kč
Adolescent Public Mental Health Patricia Gail Bray / Kniha Pevná
common.buy 2 303 Kč
Diagnostic Report Writing In Speech-Language Pathology Steven Blaustein / Kniha Pevná
common.buy 5 509 Kč
Maiden, Mother, Crone Joanne Harris / Kniha Brožovaná
common.buy 267 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?