Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Structured Object-Oriented Formal Language and Method

7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

Language

English

Book Paperback

Libristo code: 19191326

Publishers Springer International Publishing AG, April 2018

This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop... Full description

Libristo code: 19191326

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Etude Sur Le Champignon Des Maisons, 'Merulius Lacrymans', Destructeur Des Bois de Charpentes BEAUVERIE-J-J

Paperback

5 583 Ft

Der Seelenweg Rudolf Schimpl

Paperback

3 138 Ft

Hohe Fahrt!: Bilder und Skizzen aus dem Seekrieg Wilhelm Schreiner

Hardback

12 779 Ft

Getsemaní Javier Echevarría

Paperback

8 749 Ft

Deutsch Punjabi Einfache Sprache Kinderbücher Meine Ersten buntes Bildwörterbuch für Kinder, Kindergarten: Erste Wörter Lernen Karteikarten Vokabeln V Fachbucher Kindergarten

Paperback

4 996 Ft

El arte de enganar al karma / The Art of Cheating Karma ELISABET BENAVENT

Paperback

8 000 Ft

Europe Et Traduction Michel Ballard

Paperback

10 917 Ft

My First Book on Hadith in Arabic The Sincere Seeker

Paperback

5 597 Ft

Kwiat lotosu Maria Rodziewiczówna

Hardback

4 294 Ft

Lassen Sie mich los! Cord Sander

Paperback

5 232 Ft

Ein ferner Duft wie von Zitronen Rachel Joyce

Hardback

3 901 Ft

This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi'an, China, in November 2017. The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: animation and prototyping; graph theory; model checking; modeling and specification; and verification and validation.