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

Formal Methods and Software Engineering

15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings

Autor: Lindsay Groves, Jing Sun
Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
217.33 zł
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engine...

Informacje o książce

Autor
Lindsay Groves, Jing Sun
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2013
strony
466
EAN
9783642412011
ISBN
3642412017
Enbook ID
02084745
Wydawca
Springer, Berlin
Waga
735
Wymiary
154 x 234 x 24

Pełny opis

This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation.

Możesz być zainteresowany

Advances in Cryptology - ASIACRYPT 2002

Yuliang Zheng
217.33 zł

The Ultimate Teacher Gift: A Humorous Middle Grade Novel

Cailey Appenzeller
32.16 zł

Unwise Woman of Fuggis Mire

Raven Dane
85.35 zł

Wineocology

Caitlin Stansbury
74.20 zł

Ketchup with the Jessup's

Carissa Bryant
89.54 zł

Speech of the Hon. Henry Clay, on the Subject of the Removal of the Deposites; Delivered in the Senate of the United States, December 26, 30, 1833

Clay
125.20 zł

Identity and Personhood

Laurance Joseph Splitter
217.33 zł

Marius and the Cloud: A tale about homosexuality for children

Raquel Huete Iglesias
52.98 zł

Lonely Planet New Zealand

Planet Lonely
146.91 zł

Contested Criminalities in Zimbabwean Fiction

Tendai Mangena
909.01 zł

Seven Black Diamonds

Melissa Marr
35.45 zł

Post-Qualitative Research and Innovative Methodologies

Mark Murphy
639.08 zł

Matzah Balls to Communion Wafers

Gail Baker
137.55 zł

Quiche Cookbook: Delicious Quiche Recipes that Will Create the Perfect Breakfast or Brunch Dish

Stephanie Sharp
54.97 zł

Sun Wordsearch Book 8

The Sun
40.63 zł

Digital Marketing for Doctors

Dibakar Bala
65.53 zł

Bungo Stray Dogs: Wan!, Vol. 11

Kevin Gifford
44.81 zł

Strange Case of Dr Jekyll and Mr Hyde

Stevenson
19.11 zł

Titanic

Stephanie Barczewski
174.01 zł

Mobile Suit Gundam: The Origin 3

Yoshikazu Yasuhiko
96.11 zł

History of the Town of Belfast with ... a Statistical Survey of the Parish of Belfast, Etc. [By George Benn.]

George Benn
111.65 zł

Mr Monster

Dan Wells
49.89 zł

240 Best-ever Chilli Recipes

Jenni Fleetwood
45.41 zł

Titanic 100th Anniversary Edition

Stephanie Barczewski
201.89 zł

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

De la création ? la saturation du concept : L'esthétique relationnelle

Fiona Vilmer
269.53 zł

Diario sereto de Pulgarcito

Philippe Lechermeier
87.75 zł

Organizacao familiar agricola

Raquel Silvestrin Zanon
159.46 zł

Abgründe des Alltags

Silja Kyrada
39.83 zł

Goebekli Tepe

Harry Eilenstein
123.60 zł

JE COLORIE A L'INFINI - FERME

49.49 zł

PROTEUS VOLUMES 1 ET 2

LOUIS RAFFIN
152.79 zł

ENDODONCIA ROTATORIA EN DIENTES PRIMARIOS

Mukesh Kumar
258.17 zł