Formal Methods and Software Engineering

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

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

Autor: Kung-Kiu Lau, Richard Banach

Jazyk:

Väzba: Brožovaná

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

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.00 €

This book constitutes the refereed proceedings of the 7th International Conference on Formal Enginee...

Informácie o knihe

Autor

Kung-Kiu Lau, Richard Banach

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2005

Stránok

502

EAN

9783540297970

ISBN

3540297979

Enbook ID

01561356

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

1580

Rozmery

216 x 279 x 28

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Formal Methods and Software Engineering

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

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

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

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