Gratis bezorging voor bestellingen boven de 69,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 69.99 €

DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis bezorging voor bestellingen boven de 69,99 euro.

Advanced Formal Verification

Name: Advanced Formal Verification
Brand: Springer-Verlag New York Inc.
SKU: 06794578
Price: 102.97 EUR
Availability: InStock
Author: Rolf Drechsler
ISBN: 9781441954206

Rolf Drechsler

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 06794578

Uitgeverij Springer-Verlag New York Inc., december 2010

Advanced Formal Verification shows the latest developments in the verification domain from the persp... Volledige beschrijving

Libristo-code: 06794578

249 b

102.97 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Újra veled álmodom Tomor Anita

Gebonden (harde band)

14.56 €

Filon de Gerard: Les Chercheurs d'Or de l'Afrique Australe Andre Laurie

Gebonden (paperback)

26.70 €

eCommerce und Kundenzufriedenheit Jan-Thomas Nielsen

Gebonden (paperback)

17.09 €

Wien Oliver Rathkolb

Gebonden (paperback)

10.81 €

Wielka Przygoda. Szkoła podstawowa klasa 3 część 2. Podręcznik. Matematyka. Nowa edycja 2025-2027 Krystyna Sawicka

Gebonden (paperback)

7.37 €

20 kompakte Lesetests für Klasse 2 Anne Scheller

Blad

23.76 €

HASTA QUE LA BODA NOS SEPARE SOSA

Gebonden (paperback)

27.91 €

artgerecht - Das andere Schulkinder-Buch Claudia Meitert

Gebonden (harde band)

19.11 €

Chat GPT Welches KI Modell passt zu dir? Alena Kerbel

Blad

13.14 €

Minecraft. Wioska Brooks Max

Gebonden (paperback)

9.90 €

L'Invitation - Une nouvelle erotique Lind

MP3

4.04 €

Obraz Doriana Graye Oscar Wilde

Gebonden (harde band)

9.90 €

Schizofrenia: Teoria della Mente e Comunicazione Pragmatica Martina Barbera

Gebonden (paperback)

39.24 €

Fényből és sárból - Böjte Csaba élete Csender Levente

Gebonden (harde band)

15.77 €

Turismo e Desenvolvimento em Moreno - PE Robson Nascimento da Mota

Gebonden (paperback)

44.50 €

Le Serapeon, Episode de l'Histoire Du Ive Siecle Brasseur De Bourbourg-E-C

Gebonden (paperback)

30.74 €

Kultursensible Gesundheitsversorgung Brigitte Link

Gebonden (paperback)

49.96 €

Historia, novela y tragedia Carlos García Gual

Gebonden (paperback)

15.06 €

VIBRATORIUM Tom Kenyon

Audio cd

16.78 €

The Breed Is Funkin' Peter Weniger

Bladmuziek

35.70 €

Aus der Geschichte der Logopädie Alexandra Thiele

Gebonden (paperback)

49.96 €

Comprendre et guider le jeune enfant - à la maison, à la garderie Bourcier Boek

Gebonden (paperback)

14.25 €

Meine wilde Schönheit Martina Stubenschrott

Gebonden (harde band)

20.63 €

Najdi mě André Aciman

Gebonden (harde band)

10.71 €

Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today's verification tools and describe various scenarios from industrial practice. In the first part of the book the core techniques of today's formal verification tools, such as SAT and BDDs are addressed. In addition, multipliers, which are known to be difficult, are studied. The second part gives insight in professional tools and the underlying methodology, such as property checking and assertion based verification. Finally, analog components have to be considered to cope with complete system on chip designs. §

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Advanced Formal Verification

Auteur Rolf Drechsler

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2010

Aantal pagina's 250

EAN 9781441954206

ISBN 1441954201

Libristo-code 06794578

Uitgeverij Springer-Verlag New York Inc.

Gewicht 860

Afmetingen 155 x 235 x 16

Categorieën

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie > Wiskunde voor computerwetenschappers

Technologie, techniek, landbouw, industriële processen > Energietechnologie en energietechniek > Elektrotechniek

Informatica en informatietechnologie > Grafische en digitale media-applicaties > Computerondersteund ontwerp

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)

Filosofie en religie > Filosofie

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger