Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur
Studiebog
Paperback version af Formal Methods for Components and Objects

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

Normalpris

kr. 379,95

Medlemspris

kr. 349,95
  • Du sparer kr. 30,00
  • Fri fragt
Som medlem af Saxo Premium 20 timer køber du til medlemspris, får fri fragt og 20 timers streaming/md. i Saxo-appen. De første 7 dage er gratis for nye medlemmer, derefter koster det 99,-/md. og kan altid opsiges. Løbende medlemskab, der forudsætter betaling med kreditkort. Fortrydelsesret i medfør af Forbrugeraftaleloven. Mindstepris 0 kr. Læs mere

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
Størrelse og vægt
coffee cup img
10 cm
book img
15,5 cm
23,5 cm

Anmeldelser

Vær den første!

Log ind for at skrive en anmeldelse.

Serier

Lecture Notes in Computer Science Programming and Software Engineering Lecture Notes in Computer Science Programming and Software Lecture Notes in Computer Science / Programming and Software Engineering

Findes i disse kategorier...

Se andre, der handler om...

Modeling Software components Automatic inference Complex systems Formal methods