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

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer International Publishing AG
SKU: 18151546
Price: 18641 HUF
Availability: InStock
Author: Zhenhua Duan
ISBN: 9783319686899

Zhenhua Duan

Luke Ong

Language

English

Book Paperback

Libristo code: 18151546

Publishers Springer International Publishing AG, October 2017

This book constitutes the refereed proceedings of the 19th International Conference on Formal Engine... Full description

Libristo code: 18151546

125 b

18 641 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

GLOBAL HEALTH LAW AN INTRODUCTION BELANGER

Paperback

13 214 Ft

LE CENTRE SIR JOHN MONASH (FR-ANG) collegium

Paperback

4 416 Ft

Dantis Ossa Francois Caries

Paperback

7 844 Ft

Diarhebion Cymru Owen Morgan Edwards

Paperback

5 681 Ft

Arqueologia y aleteiologia: Estudios heideggerianos Vigo Book

Paperback

31 107 Ft

Petits Pas autocollants: Mes premiers mots

Paperback

2 445 Ft

Evolution der Roten Armee Fraktion Sandro Nemec

Paperback

8 098 Ft

Einsterns Schwester - Erstlesen - Ausgabe Bayern 2025 - 1. Jahrgangsstufe Jutta Maurach

Paperback

4 162 Ft

Kaufmännisches Rechnen für Berufliche Schulen Manfred Adams

Paperback

15 523 Ft

T'CHOUPI - MON PREMIER CARTABLE Thierry Courtin

Paperback

3 475 Ft

Das Konzil von Konstantinopel 536 Brimioulle

Hardback

43 319 Ft

Bauchreden

Paperback

8 173 Ft

L'Amour Paternel Ou La Suivante Reconnaissante, Comedie Italienne, En 3 Actes Et En Prose GOLDONI-C

Paperback

5 681 Ft

Das Warum?-Buch Warum Presseportal

Paperback

5 323 Ft

As Pessoas Contam! JAMES N. ROSENAU

Book

6 306 Ft

LA REINA DEL AIRE JOHN RUSKIN

Paperback

7 096 Ft

Leonhard da Vinci in Mailand August Hagen

Paperback

11 902 Ft

Analyse Des Reves - Tome 2 (L') Carl Jung

Paperback

13 896 Ft

Viaxe ao centro da Terra Jules Verne

Paperback

5 742 Ft

This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.