Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Methods for Components and Objects

Name: Formal Methods for Components and Objects
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01569195
Price: 224.1 PLN
Availability: InStock
Author: Frank S. de Boer
ISBN: 9783540747918

5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures

Frank S. de Boer

Marcello M. Bonsangue

Susanne Graf

Język

Angielski

Książka Miękka

Kod Libristo: 01569195

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, grudzień 2007

Formal methods have been applied successfully to the verification of medium-sized programs in protoc... Cały opis

Kod Libristo: 01569195

125 b

224.10 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Levante. Relief, Gewasser und Siedlungen. A I 5: 1 : 1 Mio. Denk Prasa

Mapa

226.25 zł

Wunder der Weihnacht - Kunst-Faltkarten ohne Text (6 Stück) Stefanie Bahlinger

Gra

66.13 zł

Niedersächsische Sagen und Märchen Georg Schambach

Miękka

89.24 zł

OEkonomische Instrumente zur Reduzierung von Flacheninanspruchnahme Patrice Philippe Toussaint

Miękka

97.36 zł

100 největších událostí českých dějin - Tajemství české minulosti

Miękka

31.01 zł

Mortina a protivný bratranec Barbara Cantini

Twarda

31.32 zł

Na známosť sa dáva Zuzana Martišková

Twarda

43.95 zł

L'IKU SE'N VA A DORMIR SLATER

Miękka

76.71 zł

Сенека. Нравственные письма к Луцилию, трагедии Медея, Федра, Эдип, Фиэст, Агамемнон, Октавия, философский трактат О счастливой жизни Луций Сенека

Miękka

46.10 zł

Die Rolle menschlicher Faktoren für den Erfolg von ERP-Einführungsprojekten Michael Weber

Miękka

215.67 zł

L'Obstacle BENTZON-T

Miękka

105.06 zł

Indigový svět Simon Loyd

Miękka

40.35 zł

Aus Kroatien Arthur Achleitner

Miękka

66.13 zł

erosion hidrica del suelo en cultivos agricolas Huerta O Jose De Jesus

Miękka

212.39 zł

Konzept zur Gründung einer lernenden Organisation anhand eines Beispielunternehmens Natascha Koppermann

Miękka

74.04 zł

Das kleine Buch: Wildblumen auf Wiesen und Almen Miriam Wiegele

Twarda

39.43 zł

Dichten Im Uneigentlichen Christoph Leuchter

Miękka

316.22 zł

Der kleine Brautladen am Strand Jane Linfoot

Miękka

37.27 zł

Autobiografía de un búfalo pardo OSCAR ZETA ACOSTA

Miękka

131.56 zł

Memoire Sur Une Question Relative Aux Vivres Des Troupes de Terre Dampierre De La Salle

Miękka

74.76 zł

Malý zajačik a tvary neuvedený autor

Miękka

10.88 zł

Lucas y Fred DeAzúcar en la isla invisisble LAIA LONGAN

Miękka

70.75 zł

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages.§This book presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands, in November 2006. The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems such as component-based systems and object systems. The papers are organized in topical sections on component and service oriented computing, system design, tools, algebraic methods, model checking, assertional methods, and quantitative analysis.