Free delivery for orders over 69.99 euro.

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 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

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

125 b

51.63 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

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

Paperback

32.83 €

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

Paperback

17.07 €

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

Paperback

3.12 €

Klassische Elektrodynamik Peter van Dongen

Paperback

42.43 €

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

Paperback

11.41 €

Lange lieben Claudia Gehrke

Paperback

11.21 €

GOODBYE, MY ROSE GARDEN 01 DR. PEPPERCO

Paperback

15.45 €

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

Hardback

27.78 €

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

Book

5.04 €

L'oeuf et la poule Antoine Danchin

Book

34.65 €

Voodoo Dolls - Yogi

binding.

5.14 €

Centropen Foukací fixy AIR PENS 1500 10 ks

Stationery items

6.96 €

Puzzle 40 Frozen II deskové

Jigsaw puzzle

5.04 €

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

Paperback

32.12 €

España en la gran guerra FERNANDO GARCIA

Hardback

28.99 €

Lolota en París ANGEL FERNANDEZ FERMOSELLE

Paperback

11.31 €

La terrible historia de Miros Gombrowicz Gradiva

Paperback

21.41 €

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

25.86 €

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.