Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

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: 53.79 EUR
Availability: InStock
Author: Julia Seiter
ISBN: 9783319414799

From the Specification to the Implementation

Julia Seiter

Robert Wille

Rolf Drechsler

Sprache

Englisch

Buch Broschur

Libristo-Code: 12580308

Verlag Springer International Publishing AG, Juli 2016

This book provides a comprehensive overview of automatic model refinement, which helps readers close... Vollständige Beschreibung

Libristo-Code: 12580308

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

Broschur

18.39 €

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

Broschur

46.59 €

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

Broschur

30.89 €

Mon agenda Falling in Reverse 2025-2026 Core

Broschur

14.39 €

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

Broschur

59.90 €

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

Broschur

12.00 €

LA MAESTRIA DE LA VIDA RUIZ JR.

Broschur

11.19 €

Après le vieux jeu Joëlle Chambon

Broschur

32.39 €

Quantix Laurent Schafer

Broschur

25.99 €

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

binding.

23.69 €

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

Broschur

32.39 €

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

Broschur

33.69 €

RHF-Revista de Historia del Fascismo Ernesto Mila

Broschur

24.79 €

Conozca a Se Enemigo: Know Your Enemy Kenneth Copeland

Broschur

7.99 €

O anarquismo no movimento punk Oliveira Valdir Da Silva

Broschur

57.69 €

Wilsberg Lucas Seeberger

DVD

19.19 €

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.?

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Automatic Methods for the Refinement of System Models

Autor Julia Seiter, Robert Wille, Rolf Drechsler

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2016

Anzahl der Seiten 94

EAN 9783319414799

ISBN 3319414798

Libristo-Code 12580308

Verlag Springer International Publishing AG

Gewicht 1708

Abmessungen 155 x 235 x 8

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Schaltkreise und Komponenten (Bauteile)

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Technologie, allgemein > Ingenieurswesen, Maschinenbau allgemein

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert