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 point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 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

125 b

18 818 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Kwiat lotosu Maria Rodziewiczówna

Hardback

4 215 Ft

Архитектура. Что такое хорошо и что такое плохо. Ключ к пониманию Анастасия Головина

Hardback

9 831 Ft

My First Book on Hadith in Arabic The Sincere Seeker

Paperback

5 749 Ft

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

Paperback

7 344 Ft

Terre et humanité Levesque

Paperback

7 453 Ft

Mob Psycho 100. Tom 4 ONE

Paperback

5 583 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

5 132 Ft

TODAVÍA HAY PRIMAVERA. TODAVÍA JOAQUIN ANTONIO PEÑALOSA

Paperback

6 969 Ft

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

Hardback

13 354 Ft

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

Paperback

5 734 Ft

Ein ferner Duft wie von Zitronen Rachel Joyce

Hardback

3 641 Ft

Lassen Sie mich los! Cord Sander

Paperback

4 923 Ft

El cura que costo un papado Adelfa Martin

Paperback

3 869 Ft

Der Seelenweg Rudolf Schimpl

Paperback

3 204 Ft

Getsemaní Javier Echevarría

Paperback

8 084 Ft

Zaburzenia afektywne dwubiegunowe John A. Rush

Paperback

5 602 Ft

Europe Et Traduction Michel Ballard

Paperback

11 123 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.