Leveraging Applications of Formal Methods, Verification and Validation

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
1.747,95 kr.

Bag om Leveraging Applications of Formal Methods, Verification and Validation

Constitutes the refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008. This book covers tools and applications in industrial software quality control.

Vis mere

Sprog:
Engelsk

ISBN:
9783540884781

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

Indbinding:
Paperback

Sideantal:
869

Udgivet:
10. oktober 2008

Udgave:
2008

Størrelse:
235x155x33 mm.

Vægt:
1329 g.

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

På lager

Forlænget returret til d. 31. januar 2025

Normalpris

BLACK WEEK
1.747,95 kr. + Fragt
~~1.747,95 kr.~~

Medlemspris

1.697,95 kr.

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

Beskrivelse af Leveraging Applications of Formal Methods, Verification and Validation

Constitutes the refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008. This book covers tools and applications in industrial software quality control.

Brugerbedømmelser af Leveraging Applications of Formal Methods, Verification and Validation

Andre købte også..

Find lignende bøger

Bogen Leveraging Applications of Formal Methods, Verification and Validation findes i følgende kategorier:

Business og læring > Computer og IT

Leveraging Applications of Formal Methods, Verification and Validation - Bog

Beskrivelse af Leveraging Applications of Formal Methods, Verification and Validation

Brugerbedømmelser af Leveraging Applications of Formal Methods, Verification and Validation

Gør som tusindvis af andre bogelskere