Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Methods in Computer-Aided Design

Name: Formal Methods in Computer-Aided Design
Brand: Springer, Berlin
SKU: 01563129
Price: 102.97 EUR
Availability: InStock
Author: Warren A. Hunt
ISBN: 9783540412199

Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

Warren A. Hunt

Steven D. Johnson

Sprache

Englisch

Buch Broschur

Libristo-Code: 01563129

Verlag Springer, Berlin, November 1999

This book constitutes the refereed proceedings of the Third International Conference on Formal Metho... Vollständige Beschreibung

Libristo-Code: 01563129

249 b

102.97 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

JOHANN MATTHESON: EL PERFECTO MAESTRO DE CAPILLA (HAMBURGO, MATTHESON

Buch

90.63 €

Kinderhospizarbeit Sven Jennessen

Adobe ePub DRM

31.96 €

Julius Caesar William Shakespeare

Buch

7.78 €

Comment peut-on être Berbère ? - Amnésie, renaissance, soulèvement - Livre collegium

Broschur

32.06 €

Denken. Aufrütteln. Gestalten. Life is a Story - story.one Matthias Strolz

Hardcover

18.00 €

Dinosaurios y criaturas prehistóricas EMILY HAWKINS

Hardcover

32.77 €

BACK Green

Broschur

25.28 €

Une breve histoire de la philosophie Droit

Broschur

13.04 €

Contribution à la maintenance à base des réseaux de Pétri flous Feres Ben Saad

Broschur

44.50 €

Loi sur les armes ? feu (Canada) - Edition 2018 La Bibliotheque Juridique

Broschur

15.47 €

Dhakafaar Cabdullaahi Janno

Broschur

12.74 €

Die Kopplung von Wissenschaft und Wirtschaft Thomas Heinze

Broschur

45.21 €

Abwehr wirtschaftskrimineller Handlungen in Kreditinstituten

Broschur

35.39 €

Como contar historias sobre desastres? Martins Mario

Broschur

25.89 €

DIE FREIMAUREREI IHREN ANHÄNGERN VERSTÄNDLICH GEMACHT - BAND 3: DER MEISTER. Bd.3 Oswald Wirth

Broschur

12.74 €

Hörfunk-Nachrichten - ihre Auswahl, Zusammenstellung und Präsentation Anja Engel

Broschur

25.58 €

Festschrift für Hans-Heinrich Jescheck zum 70. Geburtstag. Theo Vogler

Hardcover

253.09 €

This book constitutes the refereed proceedings of the Third International Conference on Formal Methods in Computer-Aided Design, FMCAD 2000, held in Austin, Texas in November 2000.The 30 revised full papers presented together with two invited contributions were carefully reviewed and selected from 63 submissions. All current issues of research and development approaches based on formal methods for the design and analysis of systems are addressed. Among the topics covered are formal verification, formal specification, systems analysis, program analysis, model checking, automated modeling, program semantics, theorem proving, symbolic simulation, and transition systems.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Methods in Computer-Aided Design

Autor Warren A. Hunt, Steven D. Johnson

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2000

Anzahl der Seiten 552

EAN 9783540412199

ISBN 3540412190

Libristo-Code 01563129

Verlag Springer, Berlin

Gewicht 780

Abmessungen 155 x 235 x 29

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

Nachschlagewerke, Informationswissenschaften und Interdisziplinäre Themen > Forschung und Information, allgemein > Informationstheorie > Kybernetik und Systemtheorie

EDV und Informationstechnologie > Grafische und digitale Media-Anwendungen > Computer-Aided Design (CAD)

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

EDV und Informationstechnologie > Computerhardware

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert