Studiebog

Recent Trends in Algebraic Development Techniques

- 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers (2007)

Forfatter: info mangler

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
Theoretical Computer Science and General Issues

Normalpris: kr. 164,95

Medlemspris: kr. 149,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
Forventet levering: 10-12-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development Techniques, WADT 2006, held in La Roche en Ardenne, Belgium, June 2006. The 10 revised full papers focus on the algebraic approach to the specification and development of systems and address topics such as formal methods for system development, specification languages and methods, and distributed and mobile systems.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal188
Udgivelsesdato24-04-2007
ISBN139783540719977
Forlag Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg
Nummer i serien4409
FormatPaperback

Størrelse og vægt

Vægt600 g

Dybde1 cm

10 cm

15,5 cm

23,5 cm

Recent Trends in Algebraic Development Techniques

- 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers (2007)

Findes i disse kategorier...

Se andre, der handler om...