Studiebog

Software Engineering and Formal Methods

- 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Forfatter: info mangler

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
Programming and Software Engineering

Normalpris: kr. 419,95

Medlemspris: kr. 399,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: 2-3 uger (Sendes fra fjernlager)
Forventet levering: 06-12-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal321
Udgivelsesdato12-09-2013
ISBN139783642405600
Forlag Springer-verlag Berlin And Heidelberg Gmbh & Co. K
FormatPaperback

Størrelse og vægt

10 cm

15,5 cm

23,5 cm

Software Engineering and Formal Methods

- 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Findes i disse kategorier...

Se andre, der handler om...