Cantitate/Preț
Produs

Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986: Lecture Notes in Computer Science, cartea 284

Editat de Albert Kündig, Richard E. Bührer, Jacques Dähler
en Limba Engleză Paperback – 21 oct 1987

Din seria Lecture Notes in Computer Science

Preț: 32860 lei

Preț vechi: 41075 lei
-20% Nou

Puncte Express: 493

Preț estimativ în valută:
6289 6541$ 5271£

Carte tipărită la comandă

Livrare economică 13-27 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540185819
ISBN-10: 354018581X
Pagini: 220
Ilustrații: VIII, 212 p.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.31 kg
Ediția:1987
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

A note on the meaning of “Embedded systems”.- Design of VLSI systems.- Embedded system description using Petri nets.- Elements for the formal description of systems.- An introduction to system semantics.- Functional formalisms for system description: Current research topics.- Tools for protocols driven by formal specifications.- Functional programming languages as a software engineering tool.- Practical methods and tools for specification.