Kniha Structured Object-Oriented Formal Language and Method Shaoying Liu

Structured Object-Oriented Formal Language and Method

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

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book constitutes revised selected papers from the Third International Workshop on Structured Ob...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2014
Stránek
193
EAN
9783319049144
ISBN
3319049143
Enbook ID
02432629
Hmotnost
3168
Rozměry
155 x 235 x 12

Kompletní popis

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.

Mohlo by vás zajímat

Reducing Inequalities

Renato Miguel Carmo
2 011

Show No Mercy

Brian Drake
349
491
301

Lapbooking Across Our Wonderful World

Mrs Catherine McGrew Jaime
190

In Awe

John O'Leary
461

Almost Heaven

Frank Stewart
403

Eddy County

Donna Blake Birchell
541
902
277

Zákaznicí kteří koupili tuto knihu koupili také

504

Nächte

Carl Hauptmann
749
486