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.65 EUR
Availability: InStock
Author: Rolf Drechsler
ISBN: 9781441954206

Rolf Drechsler

Taal

Engels

Boek 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.65 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Obraz Doriana Graye Oscar Wilde

Gebonden

9.87 €

20 kompakte Lesetests für Klasse 2 Anne Scheller

Blad

27.42 €

eCommerce und Kundenzufriedenheit Jan-Thomas Nielsen

Paperback

17.04 €

Wien Oliver Rathkolb

Paperback

10.58 €

Zeszyt do nut A5 16 kartek 10 sztuk mix

Schrijfwaren

5.54 €

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

Paperback

7.25 €

Camino de Sirga Jesús Moncada

Paperback

20.56 €

HASTA QUE LA BODA NOS SEPARE SOSA

Paperback

27.72 €

Újra veled álmodom Tomor Anita

Gebonden

15.22 €

Chat GPT Welches KI Modell passt zu dir? Alena Kerbel

Blad

12.80 €

artgerecht - Das andere Schulkinder-Buch Claudia Meitert

Gebonden

19.05 €

Schizofrenia: Teoria della Mente e Comunicazione Pragmatica Martina Barbera

Paperback

39.12 €

Harahara Sensei - Die tickende Zeitbombe 02 Yanagi Takakuchi

Paperback

7.96 €

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

Gebonden

16.43 €

Seuls 10/La machine a demourir Vehlmann Fabien

Gebonden

16.53 €

L'Invitation - Une nouvelle erotique Lind

MP3

3.92 €

LOS MAESTROS DIVINOS ORACULO Kyle Gray

Boek

26.01 €

Meine wilde Schönheit Martina Stubenschrott

Gebonden

20.56 €

Historia, novela y tragedia Carlos García Gual

Paperback

14.92 €

VIBRATORIUM Tom Kenyon

Audio cd

16.73 €

The Breed Is Funkin' Peter Weniger

Bladmuziek

34.38 €

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

Paperback

27.02 €

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

Paperback

31.15 €

Kultursensible Gesundheitsversorgung Brigitte Link

Paperback

49.61 €

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

Dit vind je misschien ook interessant

Altering Nature B. A. Lustig

Boek

168.91 €

Journey to Healing & Cherry Popsicles Too Kyle Duvall

Paperback

21.27 €

With Her Songs: The Atlantic Albums, 1969-1978 Roberta Flack

Audio cd

77.04 €

LIFE THAT WOKE ME UP WAS MY OW Nancy Swisher

Paperback

16.93 €

Inside Out W Atkins

Paperback

6.85 €

Everlasting Arms Dorita Lynn Kornelsen

Paperback

6.54 €

Paediatric Dentistry Richard Welbury

Paperback

94.88 €

History of Landholding in England Joseph Fisher

Paperback

11.69 €

Harold the Bionic Hamster Philip Watson

Paperback

12.39 €

Photo-catalytic Control Technologies of Flue Gas Pollutants Jiang Wu

Gebonden

102.65 €

Dancing Through the Storm Felicia Allen

Paperback

9.57 €

Great Atlas of Iran & the World 1:4 500 000 Glenn Riedel

Paperback

74.72 €

The Most Iconic People's Names Begin with C Madrats Ent

Paperback

9.67 €

Guilty Greg Zemlansky

Paperback

10.58 €

Erythrocytes of the Rhesus and Cynomolgus Monkeys Chester A. Glomski

Paperback

98.01 €

Italy, Handbook for Travellers: Northern Italy, Including Leghorn, Florence, Ravenna, the Island of Corsica, and Routes Through France, Switzerland, a Karl Baedeker (Firm)

Paperback

31.35 €