Studiebog

Structured Object-Oriented Formal Language and Method

- Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Forfatter: info mangler

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
Theoretical Computer Science and General Issues

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: 16-12-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 submissions. They are organized in topical sections on testing and verification, simulation and model checking, SOFL tools, and formal specification and application.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal193
Udgivelsesdato11-03-2014
ISBN139783319049144
Forlag Springer International Publishing AG
FormatPaperback

Størrelse og vægt

10 cm

15,5 cm

23,5 cm

Structured Object-Oriented Formal Language and Method

- Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Findes i disse kategorier...

Se andre, der handler om...