2010, ISBN: 1441960066, Lieferbar binnen 4-6 Wochen Shipping costs: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: - … More...
Buchgeier.com Lieferbar binnen 4-6 Wochen (Besorgungstitel) Shipping costs:Versandkostenfrei innerhalb der BRD Details... |
2010, ISBN: 1441960066, Lieferbar binnen 4-6 Wochen Shipping costs: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: - … More...
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - Scalable Techniques for Formal Verification
EAN (ISBN-13): 9781441960061
ISBN (ISBN-10): 1441960066
Paperback
Publishing year: 2010
Publisher: SPRINGER VERLAG GMBH
260 Pages
Weight: 0,367 kg
Language: eng/Englisch
Book in our database since 2011-12-09T17:25:50+00:00 (London)
Detail page last modified on 2011-12-09T17:25:50+00:00 (London)
ISBN/EAN: 9781441960061
ISBN - alternate spelling:
1-4419-6006-6, 978-1-4419-6006-1
More/other books that might be very similar to this book
Latest similar book:
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)
< to archive...