Verificar estado da encomenda

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Formal Specification Level Mathias Soeken

Formal Specification Level

Concepts, Methods, and Algorithms

Língua

Inglês

Livro Capa mole

Livro Formal Specification Level Mathias Soeken

Código Libristo: 13633632

Editoras Springer International Publishing AG, agosto 2016

This book introduces a new level of abstraction that closes the gap between the textual specificatio... Descrição completa

Código Libristo: 13633632

?

points

236 b

97.28 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

FABLIAU 2 OPUS 75 PIANO JOSEPH-JOACHIM RAFF Artigos impressos

Partituras

7.77 €

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

/

Capa mole

64.95 €

Photography Inspirations /multilingue DAAB

/

Capa mole

73.64 €

Hell's Paradise - Band 1 Yuko Keller

/

Capa mole

6.66 €

Orthographe progressive du francais J-M Robert

/

Capa mole

26.76 €

Pasje Zygmunta Freuda Fromm Erich

/

Capa mole

3.93 €

No lleves hadas al cole PALOMA BORDONS

/

Capa mole

9.18 €

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

/

Capa mole

12.72 €

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

/

Capa mole

42.52 €

Unterrichtsplanung und Methoden Astrid Kaiser

/

Capa mole

16.26 €

Klassenarbeiten Mathematik 5, m. 1 CD-ROM Martin Gehstein

/

Capa mole

25.96 €

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

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

Ewa Kasp

Ewa Kasp

A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Formal Specification Level

Autor Mathias Soeken, Rolf Drechsler

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2016

Número de páginas 138

EAN 9783319378824

ISBN 3319378821

Código Libristo 13633632

Editoras Springer International Publishing AG

Peso 238

Dimensões 155 x 235 x 8

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Eletrónica: circuitos e componentes

Tecnologia, Engenharia & Agricultura > Tecnologia: questões gerais > Engenharia: generalidades

Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica

Ofereça este livro hoje

É fácil

1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Halakhic Man, Authentic Jew Ira Bedzow

/

Livro de capa dura

21.11 €

Master Your Data with Excel and Power BI Miguel Escobar

/

Capa mole

23.43 €

Journey to the Center of the Earth Jules Verne

/

Capa mole

6.76 €

Zak George's Dog Training Revolution Zak George

/

Capa mole

11.31 €

Choices - Stories for the Sleepy Reader Henry M. Schmidt

/

Capa mole

14.03 €

C1 Advanced (CAE) 2100 English Vocabulary C1 YAO DAVID YAO

/

Capa mole

14.84 €

The Extended Phenotype Richard Dawkins

/

Capa mole

13.53 €

Your Next Five Moves Patrick Bet-David

/

Capa mole

11.00 €

Hubble's Universe: 2nd Ed; Greatest Discoveries and Latest Images Terence Dickinson

/

Livro de capa dura

26.66 €

The CSB Study Bible for Women, Hardcover Csb Bibles By Holman

/

Livro de capa dura

33.43 €

The Birds of America John James Audubon

/

Livro de capa dura

33.03 €

Twentieth Century German Art Exhibition Lucy (Courtauld Institute of Art) Wasensteiner

/

Livro de capa dura

204.98 €

How to Cook That : Crazy Sweet Creations (Chocolate Baking, Pie Baking, Confectionary Desserts, and More) Ann Reardon

/

Livro de capa dura

18.88 €

Sequential Jazz Piano Songs: 26 Easy Favorites Carefully Selected and Arranged in Order of Difficulty Hal Leonard Corp

/

Capa mole

11.91 €

Carry On Rainbow Rowell

/

Capa mole

8.98 €

How to Prove It Daniel J. Velleman

/

Capa mole

43.64 €

Tea Dragon Festival ONEILL K

/

Capa mole

10.30 €

LEGO Games Book DK

/

Livro de capa dura

14.64 €

Adorable Fruits & Vegetables to Crochet Marie Clesse

/

Capa mole

10.60 €

Planets Fiona Watt

/

Livro concertina

12.92 €

Hot British Boyfriend Kristy Boyce

/

Capa mole

7.97 €

Volvo 1944-1968 Workshop Manual PV444, PV544 (P110), P1800, PV445, P122 (P120 & Amazon), P210, P130, P220, 144, 142 & 145 Floyd Clymer

/

Capa mole

37.07 €

Writers and Politics in Germany, 1945-2008 Stuart Parkes

/

Capa mole

31.21 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?