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
- Format
- Bog, paperback
- Engelsk
Normalpris
kr. 414,95
Medlemspris
kr. 389,95
- Du sparer kr. 25,00
- Fri fragt
-
Leveringstid: 2-3 uger (Sendes fra fjernlager) Forventet levering: 06-03-2026
- Kan pakkes ind og sendes som gave
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.
Detaljer
- SprogEngelsk
- Sidetal193
- Udgivelsesdato11-03-2014
- ISBN139783319049144
- Forlag Springer International Publishing AG
- FormatPaperback
Størrelse og vægt
Anmeldelser
Vær den første!
Log ind for at skrive en anmeldelse.
Findes i disse kategorier...
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informationsteknologi: generelle emner
- Structured Object-Oriented Formal Language and Method
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Programmering / softwareudvikling
- Kompilatorer og fortolkere
- Structured Object-Oriented Formal Language and Method
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Programmering / softwareudvikling
- Programmeringssprog og scriptsprog
- Structured Object-Oriented Formal Language and Method
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Programmering / softwareudvikling
- Softwareudvikling
- Structured Object-Oriented Formal Language and Method
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Datakommunikation og computernetværk
- Structured Object-Oriented Formal Language and Method