Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

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

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Scalable Techniques for Formal Verification

Name: Scalable Techniques for Formal Verification
Brand: Springer-Verlag New York Inc.
SKU: 01423877
Price: 109.54 EUR
Availability: InStock
Author: Sandip Ray
ISBN: 9781441959973

Sandip Ray

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 01423877

Nakladateľstvo Springer-Verlag New York Inc., máj 2010

This book presents state-of-the-art approaches to formal verification techniques to seamlessly integ... Celý popis

Libristo kód: 01423877

265 b

109.54 €

Skladom u dodávateľa v malom množstve Odosielame za 11-15 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Naoki Urasawa: Récits, dessins et confidences (Nouvelle édition) Naoki Urasawa

Brožovaná

49.75 €

Komplexes Problemloesen Ulrike Kipman

Brožovaná

41.24 €

Spielplan Simon Golthauer

Pevná

26.04 €

Biologie-Géologie tout-en-un BCPST 1re année Anne Woerhlé

Brožovaná

62.01 €

Discípulos y maestros 2.0 WILFRIDO H. CORRAL

Brožovaná

41.85 €

Zywot Kazimierza Na Pulaziu Pulaskiego: Starosty Zezulenieckiego Marszalka Konfederacyi Lomzynskiej, Regimentarza Malo-Polskiego (1869) Leonard Chodzko

Brožovaná

27.45 €

Stírací mapa Evropy – zlatá Deluxe XL

Mapa

18.54 €

Die Entstehung der thomistisch-molinistischen Controverse Gerhard Schneemann

Brožovaná

15.19 €

petit cirque du salut. PIERRE HENRI DUBOIS

Brožovaná

11.95 €

Rome Et a Vienne, Notes de Voyages DE FAVIERS-H

Brožovaná

16.61 €

WK 133 Graz u. Umgebung 1:50 000

Mapa

10.83 €

Fahnenweihe Josef Ruederer

Brožovaná

14.08 €

Soehne des Herrn Budiwoj August Sperl

Brožovaná

33.33 €

ASSiMEMOR Animales & Colores (Tiere & Farben) DEHEEGER Jean-SEbast

Hra

11.14 €

Participacion de padres en la vida escolar y aprendizaje de matematica Huaman Delgado Dulia

Brožovaná

36.88 €

Allgemeine Untersuchungsmethoden R Strohecker

Brožovaná

60.80 €

František Pubička S.I. (1722-1807) Jakub Zouhar

List

15.60 €

Theorien Des Magnetismus Joseph Würschmidt

Brožovaná

59.58 €

Schriftspracherwerb Mit Der Tobi-Fibel Und Mit Dem Konzept Lesen Durch Schreiben Von J rgen Reichen Merle Meinhardt

Brožovaná

14.48 €

Shitstorm or Nonsens Peter H. Kemp

Brožovaná

10.63 €

EinFach Deutsch Textausgaben Georg Büchner

Brožovaná

8.81 €

This book presents state-of-the-art approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It should benefit researchers and practitioners looking to get a broad overview of the spectrum of formal verification techniques, as well as approaches to combining such techniques within a single framework. Coverage includes a range of case studies showing how such combination is fruitful in developing a scalable verification methodology for industrial designs. This book outlines both theoretical and practical issues involved in integrating different reasoning methods to work in concert, and current approaches to their resolution.

Herečka & Polyglotka

EWA KASP pre

Prehrať video

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 - Pevná

Dátum vydania 2010

Počet strán 243

EAN 9781441959973

ISBN 1441959971

Libristo kód 01423877

Nakladateľstvo Springer-Verlag New York Inc.

Váha 1200

Rozmery 155 x 235 x 25

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)

Výpočtové a informačné technológie > Informačné technológie: všeobecné témy

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ť

Nonlinear Dynamics and Vibration Control of Flexible Systems HUANG

Brožovaná

66.98 €

Natural History of the West Indies Sterling A. Stoudemire

Brožovaná

31.31 €

Play Therapy Activities for Mindfulness: 80 Play-Based Exercises to Improve Emotional Regulation and Strengthen the Parent-Child Connection LAVIGNE MELISSA

Brožovaná

11.34 €