Testen, Analysieren und Verifizieren von Software - Arbeitskreis Testen, Analysieren und Verifizie…
1992 Kartoniert, 196 Seiten, 235mm x 155mm x 11mm, Sprache(n): ger zu k1lnnen.
Design, Specification and Verification of Interactive Systems ¿96 - Proceedings of the Eurographic…
1996 Kartoniert, 404 Seiten, 244mm x 170mm x 22mm, Sprache(n): eng Making systems easier to use implies an ever increasing complexity in managing communication between users and applications. Indeed an increasing part of the application code is devoted to the user interface portion. In order to…
Verification of Reactive Systems - Formal Methods and Algorithms
von Klaus Schneider
2003 Gebunden, 620 Seiten, 241mm x 160mm x 43mm, Sprache(n): eng The book is a foundation of the most important formalisms used for specification and verification of reactive systems. In particular, it presents all important results on m-calculus, w-automata, and temporal logics, shows the relat…
Design, Specification and Verification of Interactive Systems ¿95 - Proceedings of the Eurographic…
1995 Kartoniert, 388 Seiten, 244mm x 170mm x 21mm, Sprache(n): eng This book is the final outcome of the Eurographics Workshop on Design, Specification and Verification of Interactive Systems, that was held in Bonas, from June 7 to 9, 1995. This workshop was the second of its kind, following the…
FM8501: A Verified Microprocessor
von Warren A. Jr. Hunt
1994 Kartoniert, 356 Seiten, 235mm x 155mm x 20mm, Sprache(n): eng The FM 8501 microprocessor was invented as a generic microprocessor somewhat similar to a PDP-11. The principal idea of the FM 8501 effort was to see if it was possible to express the user-level specification and the design imple…
Verification, Model Checking, and Abstract Interpretation - 4th International Conference, VMCAI 20…
2002 Kartoniert, 340 Seiten, 235mm x 155mm x 19mm, Sprache(n): eng Includes supplementary material: sn.pub/extrasThis volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9¿11,…
Correct Hardware Design and Verification Methods - IFIP WG10.5 Advanced Research Working Conferenc…
1995 Kartoniert, 356 Seiten, 235mm x 155mm x 20mm, Sprache(n): eng This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARME '95, held in Frankfurt, Germany, in October 1995. The 20 revised full papers…
Verified Software: Theorie, Tools, Experiments - 5th International Conference, VSTTE 2013, Menlo P…
2014 Kartoniert, 364 Seiten, 235mm x 155mm x 20mm, Sprache(n): eng This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17…
Verified Software: Theories, Tools, Experiments - Second International Conference, VSTTE 2008, Tor…
2008 Kartoniert, 276 Seiten, 235mm x 155mm x 16mm, Sprache(n): eng This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers presented together with 4 invited t…
Condurre una verifica della conoscenza - il primo passo verso l'implementazione di un'iniziativa d…
von Oseaus Xolani Dube
2022 Kartoniert, 140 Seiten, 220mm x 150mm x 9mm, Sprache(n): ita La gestione della conoscenza (KM) è diventata un'importante area di interesse in molte organizzazioni. Ciò non sorprende dato che il KM è sempre più associato al successo organizzativo nell'ambiente lavorativo di oggi. Tuttavia, n…
- Volltext
- verifizieren
- Preis
- 50€ bis 100€
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!