Synthesis of Embedded Software

Frameworks and Methodologies for Correctness by Construction

Nonfiction, Science & Nature, Technology, Electronics, Circuits, Computers, Application Software, CAD/CAM
Big bigCover of Synthesis of Embedded Software

More books from Springer US

bigCover of the book Superior-Order Curvature-Correction Techniques for Voltage References by
bigCover of the book Handbook of HIV Prevention by
bigCover of the book Determinants of Substance Abuse by
bigCover of the book Biotechnology for Pulp and Paper Processing by
bigCover of the book Education for a Sustainable Future by
bigCover of the book Lake Champlain: Partnerships and Research in the New Millennium by
bigCover of the book Reducing Racial/Ethnic Disparities in Reproductive and Perinatal Outcomes by
bigCover of the book Beliefs and Decision Rules in Public Good Games by
bigCover of the book Inventory Management by
bigCover of the book New Trends in Cancer for the 21st Century by
bigCover of the book Lasers in Medicine by
bigCover of the book Clinical Teaching in Nursing by
bigCover of the book The Ocean Basins and Margins by
bigCover of the book Integrity and Internal Control in Information Systems V by
bigCover of the book Engineering Flow and Heat Exchange by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy