Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540297970
Price: 1147 CZK
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:

Vazba: Brožovaná

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

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

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

Informace o knize

Autor

Kung-Kiu Lau, Richard Banach

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2005

Stránek

502

EAN

9783540297970

ISBN

3540297979

Enbook ID

01561356

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

1580

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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ákaznicí kteří koupili tuto knihu koupili také

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