Algebraic Methodology and Software Technology

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
617,95 kr.

Bag om Algebraic Methodology and Software Technology

Coverage includes current issues in formal methods related to algebraic approaches and to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, mu-calculus, state machines, rewriting, Kleene algebra, programming logic, and formal software development.

Vis mere

Sprog:
Engelsk

ISBN:
9783540356332

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

Indbinding:
Paperback

Sideantal:
392

Udgivet:
27. juni 2006

Udgave:
2006

Størrelse:
234x156x21 mm.

Vægt:
1260 g.

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

Normalpris

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

Medlemspris

567,95 kr.

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

Beskrivelse af Algebraic Methodology and Software Technology

Coverage includes current issues in formal methods related to algebraic approaches and to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, mu-calculus, state machines, rewriting, Kleene algebra, programming logic, and formal software development.

Brugerbedømmelser af Algebraic Methodology and Software Technology

Andre købte også..

Find lignende bøger

Bogen Algebraic Methodology and Software Technology findes i følgende kategorier:

Business og læring > Computer og IT

Algebraic Methodology and Software Technology - Bog

Beskrivelse af Algebraic Methodology and Software Technology

Brugerbedømmelser af Algebraic Methodology and Software Technology

Gør som tusindvis af andre bogelskere