2010, ISBN: 1441960066, Lieferbar binnen 4-6 Wochen Verzendingskosten: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: - … Meer...
Buchgeier.com Lieferbar binnen 4-6 Wochen (Besorgungstitel) Verzendingskosten:Versandkostenfrei innerhalb der BRD Details... |
2010, ISBN: 1441960066, Lieferbar binnen 4-6 Wochen Verzendingskosten: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: - … Meer...
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Scalable Techniques for Formal Verification
EAN (ISBN-13): 9781441960061
ISBN (ISBN-10): 1441960066
pocket book
Verschijningsjaar: 2010
Uitgever: SPRINGER VERLAG GMBH
260 Bladzijden
Gewicht: 0,367 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2011-12-09T18:25:50+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2011-12-09T18:25:50+01:00 (Amsterdam)
ISBN/EAN: 1441960066
ISBN - alternatieve schrijfwijzen:
1-4419-6006-6, 978-1-4419-6006-1
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
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)
< naar Archief...