Studiebog

Formal Methods for Components and Objects

- 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Forfatter: info mangler

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
Programming and Software Engineering

Normalpris: kr. 379,95

Medlemspris: kr. 359,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: 15-10-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal241
Udgivelsesdato26-08-2013
ISBN139783642406140
Forlag Springer-verlag Berlin And Heidelberg Gmbh & Co. K
FormatPaperback

Størrelse og vægt

10 cm

15,5 cm

23,5 cm

Formal Methods for Components and Objects

- 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Findes i disse kategorier...

Se andre, der handler om...