Witryna nie obsługuje twojej przeglądarki. Zaktualizuj przeglądarkę lub pobierz inną
Wybierz język
Joom Geek
Strona główna Joom
Strona główna
/
Katalog
/
Książki

Książka A Formal Specification and Proof of System Safety Using the Schematic Protection Model

Obecna cena
Cena 337,30 zł
z VAT
Darmowa dostawa do Polski
6–10 dni roboczych
Zjednoczone Emiraty ArabskieArtykuł z ZEA
Twoje płatności i prywatność są bezpieczne
Zwrot w przypadku braku dostawy
Gwarancja jakości
Bezpieczna logistyka
Ochrona prywatności
Bezpieczeństwo i zgodność z przepisami

Opis

Zgłoś nielegalne treści
LavishLivings
3.9
29
opinii
Dane i odpowiedzialność sprzedawcy
Podobne artykuły
Książka Formal Analysis and Verification of Safety Interlock Systems
Książka Formal Analysis and Verification of Safety Interlock Systems
Książka Formal Specification and Synthesis of Procedural Controllers for Process Systems : 212
Książka Formal Specification and Synthesis of Procedural Controllers for Process Systems : 212
Książka Formal Specification Level : Concepts, Methods, and Algorithms
Książka Formal Specification Level : Concepts, Methods, and Algorithms
Książka Validation and Verification of Formal Specifications In Object-Oriented Software Engineering
Książka Validation and Verification of Formal Specifications In Object-Oriented Software Engineering
Książka Software and Critical Technology Protection Against Side-Channel Analysis Through Dynamic Hardware Obfuscation
Książka Software and Critical Technology Protection Against Side-Channel Analysis Through Dynamic Hardware Obfuscation
Książka Software Domain Model Integration Methodology for Formal Specifications
Książka Software Domain Model Integration Methodology for Formal Specifications
Książka Formal Specification Level : Concepts, Methods, and Algorithms
Książka Formal Specification Level : Concepts, Methods, and Algorithms
Książka Lessons In System Safety : Proceedings of the Eighth Safety-critical Systems Symposium, Southampton, UK 2000
Książka Lessons In System Safety : Proceedings of the Eighth Safety-critical Systems Symposium, Southampton, UK 2000
Książka Formal Specification : Techniques and Applications
Książka Formal Specification : Techniques and Applications
Książka Formal System Verification : State-of the-Art and Future Trends
Książka Formal System Verification : State-of the-Art and Future Trends
Książka Operational Semantics and Verification of Security Protocols
Książka Operational Semantics and Verification of Security Protocols
Książka Towards System Safety : Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK 1999
Książka Towards System Safety : Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK 1999
Książka Functional Safety and System Security In Building Automation
Książka Functional Safety and System Security In Building Automation
Książka Specification and Proof In Real Time CSP
Książka Specification and Proof In Real Time CSP
Książka Communication Protocol Specification and Verification : 464
Książka Communication Protocol Specification and Verification : 464
Książka Structural Safety Evaluation Based On System Identification Approaches : Proceedings of the Workshop At Lambrecht/Pfalz
Książka Structural Safety Evaluation Based On System Identification Approaches : Proceedings of the Workshop At Lambrecht/Pfalz
Książka Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII '97
Książka Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII '97
Książka Formal Object State Model Transformations for Automated Agent System Synthesis
Książka Formal Object State Model Transformations for Automated Agent System Synthesis
Książka Automotive System Safety : Critical Considerations for Engineering and Effective Management
Książka Automotive System Safety : Critical Considerations for Engineering and Effective Management
Książka Achievement and Assurance of Safety : Proceedings of the Third Safety-critical Systems Symposium
Książka Achievement and Assurance of Safety : Proceedings of the Third Safety-critical Systems Symposium

Książka A Formal Specification and Proof of System Safety Using the Schematic Protection Model — kup artykuł online z bezpłatną dostawą na cały świat!

Sklep internetowy Joom oferuje ci niedrogie i wysokiej jakości artykuły. Książka A Formal Specification and Proof of System Safety Using the Schematic Protection Model: najniższe ceny w Joom! Chcesz kupić jeszcze taniej? Obserwuj nasze promocje i zniżki!