2010, ISBN: 1441960066, Lieferbar binnen 4-6 Wochen Costi di spedizione: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: - … Altro …
Buchgeier.com Lieferbar binnen 4-6 Wochen (Besorgungstitel) Costi di spedizione:Versandkostenfrei innerhalb der BRD Details... |
2010, ISBN: 1441960066, Lieferbar binnen 4-6 Wochen Costi di spedizione: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: - … Altro …
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Scalable Techniques for Formal Verification
EAN (ISBN-13): 9781441960061
ISBN (ISBN-10): 1441960066
Copertina flessibile
Anno di pubblicazione: 2010
Editore: SPRINGER VERLAG GMBH
260 Pagine
Peso: 0,367 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2011-12-09T18:25:50+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2011-12-09T18:25:50+01:00 (Zurich)
ISBN/EAN: 9781441960061
ISBN - Stili di scrittura alternativi:
1-4419-6006-6, 978-1-4419-6006-1
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
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)
< Per archiviare...