Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha Software Engineering and Formal Methods Alessandro Cimatti

Software Engineering and Formal Methods

Autor: Alessandro Cimatti, Marjan Sirjani
Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer International Publishing AG
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147 Kč
This book constitutes the refereed proceedings of the 15th International Conference on Software Engi...

Informace o knize

Autor
Alessandro Cimatti, Marjan Sirjani
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2017
Stránek
410
EAN
9783319661964
ISBN
3319661965
Enbook ID
16771879
Vydavatel
Springer International Publishing AG
Hmotnost
6496
Rozměry
155 x 235 x 25

Kompletní popis

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.

Mohlo by vás zajímat

The Three Kingdoms of Korea: Lost Civilizations

Richard D. Mcbride Ii
429 Kč

The Wedding People

ESPACH ALISON
460 Kč

5 Language Visual Dictionary

DK
307 Kč

Quiet Time: Setting our Heart on God

Geoseff Obadiah Doulos
150 Kč

The Cistern

Lorne Oliver
255 Kč

Sense and Sensibility

Jane Austen
335 Kč

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

Sri Aurobindo
271 Kč

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

Paul Dummett
1 963 Kč

Genesis 12-50: Four Giants of Faith

Dr Bill Smallman
229 Kč

Fleet Air Arm Handbook 1939-1945

David Wragg
580 Kč

Vintage Gleanings

James Harington Evans
580 Kč

Local and Global Ibadi Identities

Yohei Kondo
1 994 Kč

History Of The Churches Of The Pittsburgh Baptist Association

William Russell Pankey
437 Kč

Young ELI Readers - English

Jane cadwallader
379 Kč

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

Tony Gaddis
2 227 Kč

Flash Digest July 2024

Terrie Leigh Relf
185 Kč

Glacier National Park Hiking Adventure Set

Waterford Press
412 Kč

Popsongs for Classical Guitar 2

402 Kč

Lives of Ingolf Dahl

Anthony Linck
843 Kč

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

Kliment Sandjakoski
789 Kč

Backlash

Lynda La Plante
344 Kč

Am I Depressed or Am I Bipolar?

Michael R. Binder
494 Kč

Strange Adventures

Elizabeth Anne Sercombe
1 957 Kč

Divers Kinds of Prayers

Timothy Ofoha
431 Kč

Zákaznicí kteří koupili tuto knihu koupili také

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

Morris
836 Kč

ePublishing - oekonomischer Einfluss mobiler Lesegerate auf den deutschen Zeitschriftenmarkt

Björn Schumbrutzki
377 Kč

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

Agata Giełczyńska-Jonik
74 Kč

Klassische Elektrodynamik

Peter van Dongen
943 Kč

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

Jesus Gutiérrez Velarde
255 Kč

Lange lieben

Claudia Gehrke
263 Kč

GOODBYE, MY ROSE GARDEN 01

DR. PEPPERCO
363 Kč

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

Кир Булычев
654 Kč

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

ALSINA PASTELLS
119 Kč

L'oeuf et la poule

Antoine Danchin
778 Kč

Voodoo Dolls - Yogi

121 Kč

Centropen Foukací fixy AIR PENS 1500 10 ks

179 Kč

Puzzle 40 Frozen II deskové

106 Kč

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

VAULABELLE-A
721 Kč

España en la gran guerra

FERNANDO GARCIA
682 Kč

Lolota en París

ANGEL FERNANDEZ FERMOSELLE
267 Kč

La terrible historia de Miros Gombrowicz

Gradiva
502 Kč

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
569 Kč