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

Software Engineering and Formal Methods

10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Autor: George Eleftherakis, Mike Hinchey, Mike Holcombe
Limbă: engleză
Legare: Carte broșată
Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
276.72 lei
This book constitutes the refereed proceedings of the 10th International Conference on Software Engi...

Informații despre carte

Autor
George Eleftherakis, Mike Hinchey, Mike Holcombe
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2012
Pagini
384
EAN
9783642338250
ISBN
3642338259
Enbook ID
01662280
Editura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutate
611
Dimensiuni
155 x 235 x 22

Descriere completă

This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods.

S-ar putea să te intereseze

Northamptonshire Home Guard 1940-1945

B. G. Holloway
113.49 lei

Educational Innovation in Economics and Business III

Richard G. Milter
827.16 lei

Brochs of Scotland

J. N. Graham Ritchie
51.64 lei

Early Democracies in the Low Countries

Henri Pirenne
109.45 lei

Lincoln

Lincoln Historical Society
106.12 lei

The South During Reconstruction, 1865--1877: A History of the South

E. Merton Coulter
416.35 lei

GI Surgery Annual

Peush Sahni
540.54 lei

Adventures of the Ramrod Rider

John D Nesbitt
78.98 lei

My Grampy is Santa Claus

Byranna Kaster
55.28 lei

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

Storia avventurosa delle bandiere del mondo

Dmytro Dubilet
167.66 lei

Der Sterne Tennisbälle

Stephen Fry
90.58 lei

Schachmatt!

Garri Kasparow
76.46 lei

LESEZUG/2. Klasse: Drachen mögen keinen Schluckauf

Daniela Jarosz
48.92 lei

Tom Gatesin Harika Dünyasi

Liz Pichon
96.84 lei

El cuidado de tu caballo

Cherry Hill
128.82 lei