Menu
Află starea comenzii
Contactați-ne
Carte Software Engineering and Formal Methods Alessandro Cimatti

Software Engineering and Formal Methods

Autor: Alessandro Cimatti, Marjan Sirjani
Limbă: engleză
Legare: Carte broșată
Editura: Springer International Publishing AG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
277.38 lei
This book constitutes the refereed proceedings of the 15th International Conference on Software Engi...

Informații despre carte

Autor
Alessandro Cimatti, Marjan Sirjani
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2017
Pagini
410
EAN
9783319661964
ISBN
3319661965
Enbook ID
16771879
Editura
Springer International Publishing AG
Greutate
6496
Dimensiuni
155 x 235 x 25

Descriere completă

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.

S-ar putea să te intereseze

The Three Kingdoms of Korea: Lost Civilizations

Richard D. Mcbride Ii
105.47 lei

The Wedding People

ESPACH ALISON
121.04 lei

5 Language Visual Dictionary

DK
77.05 lei

Quiet Time: Setting our Heart on God

Geoseff Obadiah Doulos
36.19 lei

The Cistern

Lorne Oliver
61.27 lei

Sense and Sensibility

Jane Austen
80.49 lei

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

Sri Aurobindo
65.02 lei

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

Paul Dummett
426.24 lei

Genesis 12-50: Four Giants of Faith

Dr Bill Smallman
55.21 lei

Fleet Air Arm Handbook 1939-1945

David Wragg
143.80 lei

Vintage Gleanings

James Harington Evans
138.74 lei

Local and Global Ibadi Identities

Yohei Kondo
487.12 lei

History Of The Churches Of The Pittsburgh Baptist Association

William Russell Pankey
106.38 lei

Young ELI Readers - English

Jane cadwallader
82.31 lei

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

Tony Gaddis
483.48 lei

Flash Digest July 2024

Terrie Leigh Relf
45.50 lei

Glacier National Park Hiking Adventure Set

Waterford Press
100.00 lei

Popsongs for Classical Guitar 2

97.88 lei

Lives of Ingolf Dahl

Anthony Linck
200.93 lei

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

Kliment Sandjakoski
192.44 lei

Backlash

Lynda La Plante
83.83 lei

Am I Depressed or Am I Bipolar?

Michael R. Binder
121.34 lei

Strange Adventures

Elizabeth Anne Sercombe
472.16 lei

Divers Kinds of Prayers

Timothy Ofoha
103.34 lei

Clienții care au cumpărat această carte au mai cumpărat și

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

Morris
167.66 lei

ePublishing - oekonomischer Einfluss mobiler Lesegerate auf den deutschen Zeitschriftenmarkt

Björn Schumbrutzki
92.22 lei

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

Agata Giełczyńska-Jonik
15.97 lei

Klassische Elektrodynamik

Peter van Dongen
228.74 lei

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

Jesus Gutiérrez Velarde
61.27 lei

Lange lieben

Claudia Gehrke
57.03 lei

GOODBYE, MY ROSE GARDEN 01

DR. PEPPERCO
78.77 lei

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

Кир Булычев
141.97 lei

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

ALSINA PASTELLS
25.88 lei

L'oeuf et la poule

Antoine Danchin
184.65 lei

Voodoo Dolls - Yogi

26.28 lei

Centropen Foukací fixy AIR PENS 1500 10 ks

37.91 lei

Puzzle 40 Frozen II deskové

25.68 lei

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

VAULABELLE-A
171.60 lei

España en la gran guerra

FERNANDO GARCIA
148.04 lei

Lolota en París

ANGEL FERNANDEZ FERMOSELLE
61.27 lei

La terrible historia de Miros Gombrowicz

Gradiva
109.11 lei

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
140.25 lei