Kniha Structured Object-Oriented Formal Language and Method Shaoying Liu

Structured Object-Oriented Formal Language and Method

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 6th International Workshop on Structures Obje...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2017
Stránek
239
EAN
9783319577074
ISBN
3319577077
Enbook ID
16103552
Hmotnost
3869
Rozměry
155 x 235 x 15

Kompletní popis

This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: modeling and specification; animation and prototyping; verification and validation; and model checking.

Mohlo by vás zajímat

Office of Ambassador

Donald E. Queller
955

Bethlehem

Bethlehem Area Public Library
460
792

Retreat

PEARSE
617
1 541
476

Senlin Ascends

Josiah Bancroft
241

Gleanings from the Sea

Joseph Warren Smith
631
845

Water Baby

Chioma Okereke
315
962
1 808

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

Babičky

Petr Šabach
209

Domingo sombrío

ALICE ZENITER
531

Die Zukunft Der Fuhrung

Daniela Eberhardt
965

Monoklonale Antik rper

Rüdiger v. Baehr
1 710

Vězeň č. 1260

Jaromír Šavrda
237