Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
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
0
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 phoneComo comprar

Formal Specification Level, 1

Algorithms, Concepts and Methods

Língua InglêsInglês
Livro Livro de capa dura
Livro Formal Specification Level, 1 Mathias Soeken
Código Libristo: 02746221
Editoras Springer, Berlin, novembro 2014
This book introduces a new level of abstraction that closes the gap between the textual specificatio... Descrição completa
? points 236 b
97.49 €
Armazenamento externo Envio em 10-13 dias

Até 30 dias para devoluções

Os clientes também compraram

Mathematisch-Organisatorische Studie Zur Planung Der Kapazit t Von Betriebsanlagen (Bearbeitet Am Beispiel Einer F rderanlage Unter Tage) Joseph Mathieu / Livro Capa mole
common.buy 50.21 €
Landhaus am Rhein Band 2 Berthold Auerbach / Livro Capa mole
common.buy 12.75 €
Erlebnissteigerung anhand der Beispiele Eventmarketing und Tourismus Leonie Pepplinkhuizen / Livro Capa mole
common.buy 16.09 €
Hvězdy české sci-fi Ondřej Neff / Livro Livro de capa dura
common.buy 13.15 €
ELS AVANTATGES I ELS DESAVANTATGES DE LES LLETRES LEON BATTISTA ALBERTI / Livro Livro de capa dura
common.buy 15.78 €
Něžná je noc Francis Scott Fitzgerald / Livro Livro de capa dura
common.buy 9.00 €
Em breve
Oh, comme tu es chanceux Docteur Seuss / Livro Livro de capa dura
common.buy 13.96 €
Odstřelovač Peter Brookesmith / Livro Livro de capa dura
common.buy 4.55 €

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 so-called 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
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, 1
Autor Mathias Soeken, Rolf Drechsler
Língua Inglês
Encadernação Livro - Livro de capa dura
Data de emissão 2014
Número de páginas 200
EAN 9783319086989
ISBN 3319086987
Código Libristo 02746221
Editoras Springer, Berlin
Peso 360
Dimensões 155 x 235 x 14

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

Fancy Nancy Jane O'Connor / Livro Capa mole
common.buy 4.75 €
Perfect Fit Carly Phillips / Audiolivro MP3
common.buy 50.91 €
Bane Drain Brandon T. Snider / Livro Capa mole
common.buy 6.98 €
The Truth About Firefly Meadows Olivia M. Sherry / Livro Capa mole
common.buy 8.09 €
Disability and Diversity: An Introduction Smith / Livro Capa mole
common.buy 143.45 €
I'm Gay, And I Hate Myself: American Loser Mark David King / Livro Capa mole
common.buy 6.47 €
Schuld Und Bue. T. 1-2 J. SATORI / Livro Livro de capa dura
common.buy 35.42 €
Pocketbook Diaries - The Escape from Aphrodan L. C. Rogers / Livro Capa mole
common.buy 20.24 €
Jazz Child Ellen Johnson / Livro Capa mole
common.buy 43.02 €
The Collectio Burdegalensis: A Study and Register of an Eleventh-Century Canon Law Collection Kriston R. Rennie / Livro Livro de capa dura
common.buy 91.31 €
Buzz, Buzz, Buzz Byron Barton / Livro Capa mole
common.buy 8.49 €
Computational Approaches for Studying Enzyme Mechanism Part B Gregory Voth / Livro Livro de capa dura
common.buy 198.73 €
End of Vandalism Tom Drury / Livro Capa mole
common.buy 12.54 €
Familiaria Colloquia, Opera Christophori Helvici D. & Professoris Giessensis Olim, Ex Erasmo Roterodamo, Ludovico Vive, & Schottenio Hasso Selecta. Ed Desiderius Erasmus / Livro Capa mole
common.buy 21.55 €
Empire of Liberty Gordon S Wood / Livro Livro de capa dura
common.buy 31.88 €
Emma Goldman Vivian Gornick / Livro Capa mole
common.buy 14.97 €
Em breve
Woodvilles Susan Higginbotham / Livro Livro de capa dura
common.buy 17.91 €
Primitive Culture Edward Burnett Tylor / Livro Capa mole
common.buy 54.86 €
Principal
George R. R. Martin's A Game of Thrones 5-Book Boxed Set (Song of Ice and Fire Series) George R. R. Martin / Livro Capa mole
common.buy 69.24 €
Particle Induced Electron Emission II D. Hasselkamp / Livro Capa mole
common.buy 48.89 €
Education in Facebook? Mike Kent & Tama Leaver / Livro Capa mole
common.buy 40.18 €
Principal
Healing Add Daniel G. Amen / Livro Capa mole
common.buy 13.86 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?