FM 2006: Formal Methods

Name: FM 2006: Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540372158
Price: 40525 HUF
Availability: InStock

14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Szerző: Jayadev Misra, Tobias Nipkow, Emil Sekerinski

Nyelv:

Kötés: Puha kötésű

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

Elérhetőség: Beszállítói készleten alacsony példányszámban

Küldés 13-18 napon belül

40 525 Ft

This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, F...

Információk a könyvről

Szerző

Jayadev Misra, Tobias Nipkow, Emil Sekerinski

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2006

oldal

620

EAN

9783540372158

ISBN

3540372156

Enbook ID

01562449

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

958

Méretek

155 x 235 x 33

Teljes leírás

This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, formal modelling of systems, and more.

Érdekelheti

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

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

FM 2006: Formal Methods

14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Információk a könyvről

Teljes leírás

Érdekelheti

Filmmaker Says

DARLING in the FRANXX Vol. 5-6

Moonology Manifestation Oracle

Vegan Keto Diet for Beginners: The Simplest Plant Based Diet for a Healthy Mind and Body. With Diet Plan, Meal Plan, Meal Prep and Whole Foods Cookbo

PARCC Math Workbook

My Best Recipes

We Are Absolutely Not Okay: Fourteen Stories by Teenagers Who Are Picking Up the Pieces

Arms and Armour of the Medieval Joust

Shakespeare's King John. with Notes, Examination Papers, and Plan of Preparation. (Selected.)

Think "Moderates!"

Rooftops of Tehran

Convoluted Universe: Book One

Spiritual Dimension

Hidden Gems Volume II: Contemporary Black British Plays

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

Madoka Mágica Different, 1

Coloriages mystères Fleurs

Three Cheers for Kid McGear!

Grundzüge der Volkswirtschaftslehre