2010, ISBN: 1441960066, Lieferbar binnen 4-6 Wochen Versandkosten:Versandkostenfrei innerhalb der BRD
Internationaler Buchtitel. In englischer Sprache. Verlag: SPRINGER VERLAG GMBH, 260 Seiten, L=156mm, B=234mm, H=14mm, Gew.=367gr, [GR: 26830 - TB/Maschinenbau/Fertigungstechnik], [SW: - … Mehr…
Buchgeier.com Lieferbar binnen 4-6 Wochen (Besorgungstitel) Versandkosten:Versandkostenfrei innerhalb der BRD Details... |
2010, ISBN: 1441960066, Lieferbar binnen 4-6 Wochen Versandkosten:Versandkostenfrei innerhalb der BRD
Internationaler Buchtitel. In englischer Sprache. Verlag: SPRINGER VERLAG GMBH, 260 Seiten, L=156mm, B=234mm, H=14mm, Gew.=367gr, [GR: 26830 - TB/Maschinenbau/Fertigungstechnik], [SW: - … Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Scalable Techniques for Formal Verification
EAN (ISBN-13): 9781441960061
ISBN (ISBN-10): 1441960066
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: SPRINGER VERLAG GMBH
260 Seiten
Gewicht: 0,367 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2011-12-09T18:25:50+01:00 (Berlin)
Detailseite zuletzt geändert am 2011-12-09T18:25:50+01:00 (Berlin)
ISBN/EAN: 1441960066
ISBN - alternative Schreibweisen:
1-4419-6006-6, 978-1-4419-6006-1
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781489984449 Scalable Techniques for Formal Verification Sandip Ray Author (Sandip Ray)
- 9781489984449 Scalable Techniques for Formal Verification Sandip Ray Author (Sandip Ray)
- 9781441959980 Scalable Techniques for Formal Verification (Sandip Ray)
- 9781441959973 [ [ Scalable Techniques for Formal Verification[ SCALABLE TECHNIQUES FOR FORMAL VERIFICATION ] By Ray, Sandip ( Author )May-25-2010 Hardcover ] ] By Ray, Sandip ( Author ) May - 2010 [ Hardcover ] (Ray, Sandip)
- [ [ [ Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques[ REASONING IN BOOLEAN NETWORKS: LOGIC SYNTHESIS AND VERIFICATION USING TESTING TECHNIQUES ] By Kunz, Wolfgang ( Author )Jun-30-1997 Hardcover (Wolfgang Kunz)
< zum Archiv...