Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Formal Specification Level

Name: Formal Specification Level
Brand: Springer International Publishing AG
SKU: 13633632
Price: 90.79 EUR
Availability: InStock
Author: Mathias Soeken
ISBN: 9783319378824

Concepts, Methods, and Algorithms

Mathias Soeken

Rolf Drechsler

Lingua

Inglese

Libro In brossura

Codice Libristo: 13633632

Casa editrice Springer International Publishing AG, agosto 2016

This book introduces a new level of abstraction that closes the gap between the textual specificatio... Descrizione completa

Codice Libristo: 13633632

222 b

90.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Unterrichtsplanung und Methoden Astrid Kaiser

In brossura

15.09 €

Photography Inspirations /multilingue DAAB

In brossura

68.59 €

Carmen à 1,55 euros Prosper Mérimée

In brossura

3.09 €

National-Sozialer Katechismus: Erklarung Der Grundlinien Des National-Sozialen Vereins Friedrich Naumann

In brossura

16.89 €

de L'Esprit Des Lois V4 (1784) Charles De Secondat Montesquieu

Rigido

42.59 €

Hell's Paradise - Band 1 Yuko Keller

In brossura

6.59 €

Orthographe progressive du francais J-M Robert

In brossura

24.99 €

Pasje Zygmunta Freuda Fromm Erich

In brossura

3.79 €

No lleves hadas al cole PALOMA BORDONS

In brossura

8.49 €

Assoziationsregel-Algorithmen fuer Daten mit komplexer Struktur Lars Schmidt-Thieme

In brossura

60.89 €

Gruppentraining Wirbelsaulengymnastik. Optimaler Phasenverlauf und Funktionen des Gruppentrainers nach Reiss & Fikenzer Anonym

In brossura

11.79 €

Técnicas generales de laboratorio María Isabel Lorenzo Luque

In brossura

40.09 €

This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted semi-automatically from the textual specification in an interactive manner. The authors explain how to use these verification tasks to check conceptual properties, e.g. whether requirements are in conflict, as well as dynamic behavior, in terms of execution traces.§

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Formal Specification Level

Autore Mathias Soeken, Rolf Drechsler

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2016

Numero di pagine 138

EAN 9783319378824

ISBN 3319378821

Codice Libristo 13633632

Casa editrice Springer International Publishing AG

Peso 238

Dimensioni 155 x 235 x 8

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Elettronica: circuiti e componenti

Tecnologia, Ingegneria, Agricoltura, processi industriali > Tecnologia: argomenti di interesse generale > Ingegneria: generale

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer