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 FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 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: 19902 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

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

GLOBAL HEALTH LAW AN INTRODUCTION BELANGER

Paperback

13 057 Ft

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

Paperback

4 409 Ft

T'CHOUPI - MON PREMIER CARTABLE Thierry Courtin

Paperback

3 503 Ft

Dantis Ossa Francois Caries

Paperback

7 769 Ft

LE CENTRE SIR JOHN MONASH (FR-ANG) collegium

Paperback

4 779 Ft

Diarhebion Cymru Owen Morgan Edwards

Paperback

5 583 Ft

Arqueologia y aleteiologia: Estudios heideggerianos Vigo Book

Paperback

30 588 Ft

Leonhard da Vinci in Mailand August Hagen

Paperback

12 793 Ft

Petits Pas autocollants: Mes premiers mots

Paperback

2 491 Ft

Das Konzil von Konstantinopel 536 Brimioulle

Hardback

42 591 Ft

Bauchreden

Paperback

8 033 Ft

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

Paperback

5 583 Ft

Das Warum?-Buch Warum Presseportal

Paperback

5 232 Ft

As Pessoas Contam! JAMES N. ROSENAU

Book

6 184 Ft

LA REINA DEL AIRE JOHN RUSKIN

Paperback

7 737 Ft

Kaufmännisches Rechnen für Berufliche Schulen Manfred Adams

Paperback

16 472 Ft

Viaxe ao centro da Terra Jules Verne

Paperback

6 332 Ft

Evolution der Roten Armee Fraktion Sandro Nemec

Paperback

8 708 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.