Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540297970
Price: 276.72 RON
Availability: InStock

7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings

Autor: Kung-Kiu Lau, Richard Banach

Limbă:

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 7th International Conference on Formal Enginee...

Informații despre carte

Autor

Kung-Kiu Lau, Richard Banach

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2005

Pagini

502

EAN

9783540297970

ISBN

3540297979

Enbook ID

01561356

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

1580

Dimensiuni

216 x 279 x 28

Descriere completă

This book constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in November 2005.§The 30 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 74 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification, modelling, security, communication, development, testing, verification, and tools.

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

Formal Methods and Software Engineering

7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Adaptive Web

Speed Vegan

General Circulation of the Ocean

The Devil in Oxford

Greenhouse Construction: A Complete Manual on the Building, Heating, Ventilating and Arrangement of Greenhouses, and the Construction of Hotbed

Rituals to Observe

Eat It!

Les Populations Dangereuses et les Misr?es Sociales

Psychiatry, America's Holocaust

Apropos Of Women And Theatres, With A Paper Or Two On Parisian Topics (1869)

Writing Off the Hyphen

Styles and Strategies for Teaching Middle School Mathematics

Iliad by Homer, Classics, Literary Criticism, Ancient and Classical, Poetry, Ancient, Classical & Medieval

Design and Technology for Botswana

Logical Foundations of Statistical Inference

Public Finance, Monetary Policy and Market Issues

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

Základy chirurgie

La Cuisine Classique: Etudes Pratiques, Raisonnees Et Demonstratives

Entdecke die Zugvögel

Brotaufstriche selbst gemacht

Japanisches Management in Internationalen Unternehmen

Le lien du sang Tome 1 - Partie 1