Formal Methods for Hardware Verification. 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006. [Notes in Computer Science, Vol. 3965].

Bernardo, Marco:

Editore: Berlin / Heidelberg, Springer, 2010

Riguardo questo articolo

256 p. Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 320.

Codice articolo 826707

Dati bibliografici

• Titolo: Formal Methods for Hardware Verification. 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006. [Notes in Computer Science, Vol. 3965].
• Editore: Berlin / Heidelberg, Springer
• Data di pubblicazione: 2010
• Lingua: Inglese
• Rilegatura: Softcover/Paperback
• Condizione: Sehr gut
• Peso: 320 grammi
• Cataloghi dei venditori:
  • Informatik, Hardware, Software