Menu
Виж статуса на поръчката
Свържете се с нас
Книга Software Engineering and Formal Methods Alessandro Cimatti

Software Engineering and Formal Methods

Автор: Alessandro Cimatti, Marjan Sirjani
Език: Английски език
Корици: С меки корици
Издател: Springer International Publishing AG
Наличност: Външен склад
Изпращаме след 5-8 дни
52.83 € 103.32 лв
This book constitutes the refereed proceedings of the 15th International Conference on Software Engi...

Информация за книгата

Автор
Alessandro Cimatti, Marjan Sirjani
Език
Английски език
Корици
Книга - С меки корици
Издадена
2017
страници
410
EAN
9783319661964
ISBN
3319661965
Enbook ID
16771879
Издател
Springer International Publishing AG
Теглоt
6496
Размери
155 x 235 x 25

Пълно описание

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.

Може също да ви хареса

The Three Kingdoms of Korea: Lost Civilizations

Richard D. Mcbride Ii
18.88 € 36.92 лв

The Wedding People

ESPACH ALISON
22.90 € 44.78 лв

5 Language Visual Dictionary

DK
15.06 € 29.46 лв

Quiet Time: Setting our Heart on God

Geoseff Obadiah Doulos
6.57 € 12.86 лв

The Cistern

Lorne Oliver
11.09 € 21.70 лв

Sense and Sensibility

Jane Austen
14.61 € 28.57 лв

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

Sri Aurobindo
11.80 € 23.07 лв

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

Paul Dummett
84.62 € 165.50 лв

Genesis 12-50: Four Giants of Faith

Dr Bill Smallman
9.99 € 19.54 лв

Fleet Air Arm Handbook 1939-1945

David Wragg
27.42 € 53.62 лв

Vintage Gleanings

James Harington Evans
25.21 € 49.30 лв

Local and Global Ibadi Identities

Yohei Kondo
92.80 € 181.51 лв

History Of The Churches Of The Pittsburgh Baptist Association

William Russell Pankey
19.18 € 37.51 лв

Young ELI Readers - English

Jane cadwallader
14.21 € 27.79 лв

Well-Rested Every Day: 365 Rituals, Recipes, and Reflections for Radical Peace and Renewal

17.82 € 34.86 лв

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

Tony Gaddis
96.62 € 188.98 лв

Flash Digest July 2024

Terrie Leigh Relf
8.13 € 15.90 лв

Glacier National Park Hiking Adventure Set

Waterford Press
19.08 € 37.32 лв

Ear, Nose, and Throat Conditions, An Issue of Veterinary Clinics of North America: Small Animal Practice

Daniel D. Smeak
85.17 € 166.58 лв

Lives of Ingolf Dahl

Anthony Linck
36.61 € 71.60 лв

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

Kliment Sandjakoski
36.66 € 71.69 лв

Backlash

Lynda La Plante
15.11 € 29.56 лв

Am I Depressed or Am I Bipolar?

Michael R. Binder
21.74 € 42.52 лв

Strange Adventures

Elizabeth Anne Sercombe
89.99 € 176.01 лв

Клиенти, които купиха тази книга, купиха също

ePublishing - oekonomischer Einfluss mobiler Lesegerate auf den deutschen Zeitschriftenmarkt

Björn Schumbrutzki
17.57 € 34.37 лв

1813 - Kriegsfeuer

Sabine Ebert
21.79 € 42.62 лв

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

Jesus Gutiérrez Velarde
11.09 € 21.70 лв

Lange lieben

Claudia Gehrke
11.45 € 22.38 лв

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

Agata Giełczyńska-Jonik
2.76 € 5.39 лв

Klassische Elektrodynamik

Peter van Dongen
43.59 € 85.25 лв

GOODBYE, MY ROSE GARDEN 01

DR. PEPPERCO
13.76 € 26.90 лв

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

Кир Булычев
31.23 € 61.09 лв

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

ALSINA PASTELLS
4.36 € 8.54 лв

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

Morris
29.02 € 56.76 лв

VIEUBLE QU'EST CE? PETITES PIECES TERNAIRE SNARE DRUM BOOK

VIEUBLE
14.66 € 28.67 лв

L'oeuf et la poule

Antoine Danchin
33.69 € 65.90 лв

Finance d'entreprise - DCG - Epreuve 6 - Manuel et applications - 2020

Pascal Faucher
44.04 € 86.13 лв

Voodoo Dolls - Yogi

5.07 € 9.91 лв

Centropen Foukací fixy AIR PENS 1500 10 ks

6.83 € 13.35 лв

Puzzle 40 Frozen II deskové

5.52 € 10.79 лв

salvacion segun Romanos 10,9

Alejandro Linares Jimérnez
22.09 € 43.21 лв

Bildband Nepal

Robert Klein
16.62 € 32.50 лв

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

VAULABELLE-A
31.28 € 61.19 лв

España en la gran guerra

FERNANDO GARCIA
25.51 € 49.89 лв

Lolota en París

ANGEL FERNANDEZ FERMOSELLE
11.70 € 22.88 лв

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
25.11 € 49.10 лв

La terrible historia de Miros Gombrowicz

Gradiva
18.78 € 36.73 лв