Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Software Engineering and Formal Methods

Alessandro Cimatti

Marjan Sirjani

Language

English

Book Paperback

Libristo code: 16771879

Publishers Springer International Publishing AG, August 2017

This book constitutes the refereed proceedings of the 15th International Conference on Software Engi... Full description

Libristo code: 16771879

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Team up in English (Starter 1-2-3) Morris

Paperback

33.89 €

ePublishing - oekonomischer Einfluss mobiler Lesegerate auf den deutschen Zeitschriftenmarkt Björn Schumbrutzki

Paperback

18.95 €

Wakacje pingwinka. Duże litery. Podział na sylaby Agata Giełczyńska-Jonik

Paperback

3.29 €

Klassische Elektrodynamik Peter van Dongen

Paperback

44.99 €

Modismos y frases hechas del espa?ol de Espa?a: Volumen II Jesus Gutiérrez Velarde

Paperback

11.89 €

Lange lieben Claudia Gehrke

Paperback

11.69 €

GOODBYE, MY ROSE GARDEN 01 DR. PEPPERCO

Paperback

18.49 €

Всё о девочке с Земли Кир Булычев

Hardback

29.09 €

Barrinem?, matemàtiques amb jocs i problemes, geometria, 3 Educació Primària ALSINA PASTELLS

Book

5.19 €

L'oeuf et la poule Antoine Danchin

Book

35.79 €

Voodoo Dolls - Yogi

binding.

5.39 €

Centropen Foukací fixy AIR PENS 1500 10 ks

Stationery items

6.89 €

Puzzle 40 Frozen II deskové

Jigsaw puzzle

5.29 €

Recueil d'Arrets Rendus Depuis 1791 Jusqu'a Ce Jour En Matiere de Commerce de Terre Et de Mer VAULABELLE-A

Paperback

33.29 €

España en la gran guerra FERNANDO GARCIA

Hardback

29.99 €

Lolota en París ANGEL FERNANDEZ FERMOSELLE

Paperback

11.19 €

La terrible historia de Miros Gombrowicz Gradiva

Paperback

22.09 €

Tristan: Recueil de Ce Qui Reste Des Po Mes Relatifs Ses Aventures: Compos En Fran OIS, En Anglo-Normand Et En Grec Dans Les XI B Roul

Paperback

27.19 €

This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017. The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software architecture; software verification and testing; software development methods; application and technology transfer; security and safety; an d design principles.