Formal Methods for Hardware Verification - Bog

- 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

indgår i Programming and Software Engineering serien

indgår i Lecture Notes in Computer Science serien

Formal Methods for Hardware Verification

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
644,95 kr.

Bag om Formal Methods for Hardware Verification

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006).

Vis mere

Sprog:
Engelsk

ISBN:
9783540343042

Forlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Indbinding:
Paperback

Sideantal:
244

Udgivet:
15. maj 2006

Udgave:
2006

Størrelse:
234x156x13 mm.

Vægt:
800 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 2. december 2024

Normalpris

BLACK NOVEMBER
644,95 kr. + Fragt
~~644,95 kr.~~

Medlemspris

594,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Formal Methods for Hardware Verification

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006).

Brugerbedømmelser af Formal Methods for Hardware Verification

Andre købte også..

Find lignende bøger

Bogen Formal Methods for Hardware Verification findes i følgende kategorier:

Business og læring > Computer og IT

Formal Methods for Hardware Verification - Bog

Beskrivelse af Formal Methods for Hardware Verification

Brugerbedømmelser af Formal Methods for Hardware Verification

Gør som tusindvis af andre bogelskere