Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Software Engineering and Formal Methods Alessandro Cimatti

Software Engineering and Formal Methods

Autor: Alessandro Cimatti, Marjan Sirjani
Język: Angielski
Oprawa: Miękka
Wydawca: Springer International Publishing AG
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.42 zł
This book constitutes the refereed proceedings of the 15th International Conference on Software Engi...

Informacje o książce

Autor
Alessandro Cimatti, Marjan Sirjani
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2017
strony
410
EAN
9783319661964
ISBN
3319661965
Enbook ID
16771879
Wydawca
Springer International Publishing AG
Waga
6496
Wymiary
155 x 235 x 25

Pełny opis

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.

Możesz być zainteresowany

The Three Kingdoms of Korea: Lost Civilizations

Richard D. Mcbride Ii
80.02 zł

The Wedding People

ESPACH ALISON
92.09 zł

5 Language Visual Dictionary

DK
58.11 zł

Quiet Time: Setting our Heart on God

Geoseff Obadiah Doulos
27.83 zł

The Cistern

Lorne Oliver
47.11 zł

Sense and Sensibility

Jane Austen
61.81 zł

Inspiration from Savitri: Art, Architecture and the Constructions of Man and God

Sri Aurobindo
49.93 zł

Life 2nd Edition B1 Pre-Intermediate Student’s Book + APP Code

Paul Dummett
343.95 zł

Genesis 12-50: Four Giants of Faith

Dr Bill Smallman
42.34 zł

Fleet Air Arm Handbook 1939-1945

David Wragg
108.93 zł

Vintage Gleanings

James Harington Evans
106.69 zł

Local and Global Ibadi Identities

Yohei Kondo
371.31 zł

History Of The Churches Of The Pittsburgh Baptist Association

William Russell Pankey
81.19 zł

Young ELI Readers - English

Jane cadwallader
66.39 zł

Starting Out with Java: From Control Structures through Objects, Global Edition

Tony Gaddis
390.20 zł

Flash Digest July 2024

Terrie Leigh Relf
34.46 zł

Glacier National Park Hiking Adventure Set

Waterford Press
76.42 zł

Popsongs for Classical Guitar 2

74.57 zł

Lives of Ingolf Dahl

Anthony Linck
154.98 zł

Little Known Ways to New studies on differentiation of Human Stem Cell

Kliment Sandjakoski
146.61 zł

Backlash

Lynda La Plante
64.05 zł

Am I Depressed or Am I Bipolar?

Michael R. Binder
92.09 zł

Strange Adventures

Elizabeth Anne Sercombe
361.96 zł

Divers Kinds of Prayers

Timothy Ofoha
79.34 zł

Klienci, którzy kupili tę książkę, kupili również

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

Morris
135.22 zł

ePublishing - oekonomischer Einfluss mobiler Lesegerate auf den deutschen Zeitschriftenmarkt

Björn Schumbrutzki
70.38 zł

Wakacje pingwinka. Duże litery. Podział na sylaby

Agata Giełczyńska-Jonik
10.02 zł

Klassische Elektrodynamik

Peter van Dongen
174.84 zł

Modismos y frases hechas del espa?ol de Espa?a: Volumen II

Jesus Gutiérrez Velarde
47.11 zł

Lange lieben

Claudia Gehrke
46.04 zł

GOODBYE, MY ROSE GARDEN 01

DR. PEPPERCO
63.57 zł

Всё о девочке с Земли

Кир Булычев
114.48 zł

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

ALSINA PASTELLS
20.92 zł

L'oeuf et la poule

Antoine Danchin
142.72 zł

Voodoo Dolls - Yogi

21.21 zł

Centropen Foukací fixy AIR PENS 1500 10 ks

28.91 zł

Puzzle 40 Frozen II deskové

19.56 zł

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

VAULABELLE-A
132.40 zł

España en la gran guerra

FERNANDO GARCIA
119.45 zł

Lolota en París

ANGEL FERNANDEZ FERMOSELLE
46.72 zł

La terrible historia de Miros Gombrowicz

Gradiva
88.00 zł

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
106.40 zł