Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv 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

Szerző: Lindsay Groves, Jing Sun
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer, Berlin
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 108 Ft
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engine...

Információk a könyvről

Szerző
Lindsay Groves, Jing Sun
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2013
oldal
466
EAN
9783642412011
ISBN
3642412017
Enbook ID
02084745
Kiadó
Springer, Berlin
Súly
735
Méretek
154 x 234 x 24

Teljes leírás

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.

Érdekelheti

Advances in Cryptology - ASIACRYPT 2002

Yuliang Zheng
19 108 Ft

Post-Qualitative Research and Innovative Methodologies

Mark Murphy
58 677 Ft

Seven Black Diamonds

Melissa Marr
3 339 Ft

Ketchup with the Jessup's

Carissa Bryant
7 101 Ft

Wineocology

Caitlin Stansbury
7 433 Ft

Identity and Personhood

Laurance Joseph Splitter
19 108 Ft

Coppee and Maupassant Tales

Arnold Guyot Cameron
7 317 Ft

Laws and Courts of the Massachusetts Bay Colony: A Paper Read Before the Bostonian Society, Council Chamber, Old State House, December 20, 1910.

Frank E Bradbury
5 022 Ft

Marius and the Cloud: A tale about homosexuality for children

Raquel Huete Iglesias
4 907 Ft

Lonely Planet New Zealand

Planet Lonely
12 210 Ft

Contested Criminalities in Zimbabwean Fiction

Tendai Mangena
84 179 Ft

The Ultimate Teacher Gift: A Humorous Middle Grade Novel

Cailey Appenzeller
2 978 Ft

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
11 560 Ft

Matzah Balls to Communion Wafers

Gail Baker
12 965 Ft

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

Stephanie Sharp
5 080 Ft

Winter Honeymoon

Jacob M. Appel
6 432 Ft

Sun Wordsearch Book 8

The Sun
3 762 Ft

Digital Marketing for Doctors

Dibakar Bala
6 057 Ft

Sexual Reminisces

Rare Diamond
2 324 Ft

Bungo Stray Dogs: Wan!, Vol. 11

Kevin Gifford
4 209 Ft

When Someone You Love Has Cancer

Cathy Barker
6 783 Ft

Strange Case of Dr Jekyll and Mr Hyde

Stevenson
1 472 Ft

Titanic

Stephanie Barczewski
16 208 Ft

Mobile Suit Gundam: The Origin 3

Yoshikazu Yasuhiko
9 165 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

JE COLORIE A L'INFINI - FERME

3 719 Ft

Impact économique et social de la privatisation au Pakistan

Muhammad Ahsen
7 986 Ft

Diario sereto de Pulgarcito

Philippe Lechermeier
8 510 Ft

ENDODONCIA ROTATORIA EN DIENTES PRIMARIOS

Mukesh Kumar
23 583 Ft

Pars, cours ! Alice

Verret Aimee Verret
3 166 Ft

Goebekli Tepe

Harry Eilenstein
11 281 Ft

PROTEUS VOLUMES 1 ET 2

LOUIS RAFFIN
11 705 Ft

Organizacao familiar agricola

Raquel Silvestrin Zanon
13 230 Ft

Abgründe des Alltags

Silja Kyrada
3 209 Ft

Sonaten für Violine und Klavier

Nurit/Pescia Stark
9 117 Ft

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

Fiona Vilmer
23 813 Ft