Erweiterte Suche
Preis einschränken:


Melden Sie sich jetzt an und erhalten Sie regelmäßig Informationen über neue Produkte, Sonderangebote oder neue Gutscheine.

Mit * gekennzeichnete Felder sind Pflichtfelder.

106,99 EUR*
Details Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science)

Formal Systems Specification The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. This volume presents refereed papers discussing solutions to the problem. A ...

185,06 EUR*
Details Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specifications from FDL'03

Languages for System Specification Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of operating systems, modeling with different models of computation ...

85,59 EUR*
Details Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings (Lecture Notes in Computer Science)

Recent Trends in Data Type Specification 1990: Workshop Proceedings Contains the proceedings of a workshop on specification of abstract data types. This volume includes topics such as: modularization, object orientation, higher-order types and ...

208,64 EUR*
Details Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Logics of Specification Languages 2008 Presents comprehensive studies on nine specification languages and their logics of reasoning. This book features short commentaries on the specification languages written by researchers associated with their ...

8,51 EUR*
Details Software Requirements Specifications: A How To Guide for Project Staff

Software Requirements Specifications: A Guide for Project Staff outlines how project staff can develop requirements list (RL), statement of user requirements (SUR) and software requirements specification (SRS). The end product of the requirements ...

225,90 EUR*
Details The Object-Z Specification Language (Advances in Formal Methods)

The Object-Z Specification Language Offers a description of Object-Z including discussions of semantic issues, definitions of various language constructs, type rules and other rules of usage, and specification guidelines. This book enables you to ...

208,60 EUR*
Details Protocol Specification, Testing and Verification Xiv (Ifip Advances in Information and Communication Technology)

Protocol Specification, Testing and Verification XIV This volume presents the latest research worldwide on communications protocols, emhasizing specification and compliance testing. It presents the complete proceedings of the fourteenth meeting on ...

33,33 EUR*
Details magFlags Flagge: Large Nishiwaga, Iwate | Nishiwaga, Iwate.Specifications | Querformat Fahne | 1.35qm | 90x150cm » Fahne 100% Made in Germany

Flagge: Nishiwaga, Iwate | Nishiwaga, Iwate.Specifications Querformat Fahne | 1.35qm | 90x150cm Nishiwaga, Iwate Nishiwaga, Iwate.Specifications Da wir wissen, wie wichtig Ihre Außendarstellung ist, drucken wir unsere Nishiwaga, Iwate | Nishiwaga ...

51,33 EUR*
Details Real-Time Systems: Formal Specification and Automatic Verification

Real-time Systems Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications. Full description

181,85 EUR*
Details Object-Oriented Behavioral Specifications (The Springer International Series in Engineering and Computer Science)

Object-Oriented Behavioral Specifications Object-Oriented Behavioral Specifications encourages builders of complex information systems to accelerate their move to using the approach of a scientific discipline in analysis rather than the approach of a ...

190,09 EUR*
Details Advances in Design and Specification Languages for Embedded Systems: Selected Contributions from FDL’06

Advances in Design and Specification Languages for Embedded Systems A contribution to the Chip Design Languages series that consists of selected papers presented at the Forum on Specifications and Design Languages (FDL'06), in September 2006. It ...

41,06 EUR*
Details TIGER thermos lunch box (men's specification) Black LWY-E046-K (japan import) by Tiger

TIGER thermos lunch box (men's specification) Black LWY-E046-K (japan import)