Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642002540
Price: 277.38 RON
Availability: InStock

7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings

Autor: Michael Leuschel, Heike Wehrheim

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

277.38 lei

This book constitutes the refereed proceedings of the 7th International Conference on Integrated For...

Informații despre carte

Autor

Michael Leuschel, Heike Wehrheim

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2009

Pagini

367

EAN

9783642002540

ISBN

3642002544

Enbook ID

01649327

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

581

Dimensiuni

155 x 235 x 21

Descriere completă

This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009.§The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers address the whole spectrum of integrated formal methods, ranging from formal and semiformal modelling notations, semantics, verification, refinement, model transformations to type systems, logics, tools and case studies.

S-ar putea să te intereseze

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

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Integrated Formal Methods

7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

CMOS Hotplate Chemical Microsensors

Regent

Intelligent Robotics and Applications

Transportation and Mobility Technology Futures

Pocket Book of Pocket Poems

Simple Guide to Bible Study

Masks

Walled Garden

Lenses And Systems Of Lenses: Treated After The Manner Of Gauss (1884)

Second April

African Art Reframed

Ladybird Readers Level 5 - BBC Earth - Little Survivors (ELT Graded Reader)

Poor Jack

Orpington Chickens: From The Book of Poultry

Brasseys Eurasian 2002 (P)

Essential Civil Society Reader

IEEE 802.11 Handbook - A Designer's Companion 2e

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

Les plus beaux Haras de France

SPIRITUALS FOR ALL HEFT 2

BEN (cast.)

Notice Sur l'Ecole Imperiale Centrale Des Arts Et Manufactures