Erweiterte Suche
Preis einschränken:

47,63 EUR*
Details Combined-Compendium-of-Food-Additive-Specifications-Joint-FAOWHO-Expert-Committee-on-Food-Additives-All-Specifications-Monogra-All-Specifications-from-the-1st-to-the-65th-Meeting-1956-2005

These three documents belong to the fourprisingbined food additive specifications prepared by the Joint FAO/WHO Expert Committee on Food Additives (JECFA) during sixty-five meetings held from 1956 to 2005. The first three volumes are

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

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-FDL03

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

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

85,59 EUR*
Details Recent-Trends-in-Data-Type-Specification-7th-Workshop-on-Specification-of-Abstract-Data-Types-WusterhausenDosse-Germany-April-17-20-1990-Lecture-Notes-in-Computer-Science-Band-534

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

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-Band-1

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-IwateSpecifications-Querformat-Fahne-135m-90x150cm-Fahne-100-Made-in-Germany

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

39,39 EUR*
Details magFlags-Flagge-Large-Aso-Kumamoto-Aso-KumamotoSpecifications-Querformat-Fahne-135m-90x150cm-Fahne-100-Made-in-Germany

Flagge: Aso, Kumamoto | Aso, Kumamoto?Specifications | ???? ?? Querformat Fahne | 1.35m² | 90x150cm Aso, Kumamoto Aso, Kumamoto?Specifications ???? ?? Da wir wissen, wie wichtig Ihre Außendarstellung ist, drucken wir unsere Aso, Kumamoto | Aso ...

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

190,09 EUR*
Details Advances-in-Design-and-Specification-Languages-for-Embedded-Systems-Selected-Contributions-from-FDL06

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