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 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

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

Automatic Methods for the Refinement of System Models

Name: Automatic Methods for the Refinement of System Models
Brand: Springer International Publishing AG
SKU: 12580308
Price: 221.48 PLN
Availability: InStock
Author: Julia Seiter
ISBN: 9783319414799

From the Specification to the Implementation

Julia Seiter

Robert Wille

Rolf Drechsler

Język

Angielski

Książka Miękka

Kod Libristo: 12580308

Wydawnictwo Springer International Publishing AG, lipiec 2016

This book provides a comprehensive overview of automatic model refinement, which helps readers close... Cały opis

Kod Libristo: 12580308

125 b

221.48 zł

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

Nawet do 30 dni na zwrot

Klienci kupili także

Cosas que quedaron en la sombra Martínez López

Miękka

76.53 zł

Streaming P2P para comunicação móvel sob demanda Andreas Keiper

Miękka

190.82 zł

Intensive Course for TOPIK ¿ Success - All-in-One Study Guide Sung Hee Son

Miękka

127.79 zł

Mon agenda Falling in Reverse 2025-2026 Core

Miękka

58.97 zł

Geschichte des späteren Mittelalters von 1197 bis 1492 Johann Loserth

Miękka

228.89 zł

The Love Hypothesis - Die theoretische Unwahrscheinlichkeit von Liebe Christine Strüh

Miękka

44.14 zł

LA MAESTRIA DE LA VIDA RUIZ JR.

Miękka

48.71 zł

Après le vieux jeu Joëlle Chambon

Miękka

134.69 zł

Quantix Laurent Schafer

Miękka

108.09 zł

Магические карты. "Предсказания духов" (32 карты + руководство) Наталья Степанова

binding.

97.23 zł

Deux ans dans les pas de Zamaraï Païkan, général et héros afghan Cholous

Miękka

134.69 zł

Conclure la vente - 2e éd. - Décrochez plus de commandes, signez plus de contrats Michaël Aguilar

Miękka

139.97 zł

RHF-Revista de Historia del Fascismo Ernesto Mila

Miękka

102.21 zł

Conozca a Se Enemigo: Know Your Enemy Kenneth Copeland

Miękka

32.78 zł

O anarquismo no movimento punk Oliveira Valdir Da Silva

Miękka

236.50 zł

Wilsberg Lucas Seeberger

DVD

80.08 zł

This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two "directions" for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement process, including verification methods to check automatically whether a refinement has been conducted as intended.?