Advanced Lectures on Software Engineering

Du sparer 0% ift. normalprisen Spar 0%

Paperback
Udsolgt
573,95 kr.

Bag om Advanced Lectures on Software Engineering

Topics covered include verification of fine-grain concurrency and transactions, the SCOOP model for concurrent object-oriented programming, the Spec# programming and verification system, verification in the prototype verification system PVS, and multi-core chip design.

Vis mere

Sprog:
Engelsk

ISBN:
9783642130090

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

Indbinding:
Paperback

Sideantal:
189

Udgivet:
20. maj 2010

Størrelse:
234x160x13 mm.

Leveringstid: Ukendt - mangler pt..

Normalpris

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

Medlemspris

523,95 kr.

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

Beskrivelse af Advanced Lectures on Software Engineering

Topics covered include verification of fine-grain concurrency and transactions, the SCOOP model for concurrent object-oriented programming, the Spec# programming and verification system, verification in the prototype verification system PVS, and multi-core chip design.

Brugerbedømmelser af Advanced Lectures on Software Engineering

Andre købte også..

Find lignende bøger

Bogen Advanced Lectures on Software Engineering findes i følgende kategorier:

Business og læring > Computer og IT

Advanced Lectures on Software Engineering - Bog

Beskrivelse af Advanced Lectures on Software Engineering

Brugerbedømmelser af Advanced Lectures on Software Engineering

Gør som tusindvis af andre bogelskere