{"product_id":"practical-formal-software-engineering-1","title":"PRACTICAL FORMAL SOFTWARE ENGINEERING","description":"\u003cp\u003eWanting the Software You Get\\n\\nA practically-minded software engineering textbook aimed at final year undergraduate and graduate students.\\n\\n\\n\\nPart I. Fundamentals: 1. Arithmetic; 2. Logic; 3. Algebra; 4. Diagrams; Part II. Language: 5. UML; 6. OCL; 7. Z; 8. Logic; 9. Java; Part III. Practice: 10. Implementation; 11. State transformation; 12. Plain text; 13. Natural language; 14. Digital geometry; 15. Building dungeons; 16. Multiple threads; 17. Security.\u003c\/p\u003e","brand":"CAMBRIDGE UNIVERSITY PRESS","offers":[{"title":"Default Title","offer_id":44741769298209,"sku":"401206","price":45.29,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/3549\/8785\/products\/9780521879033_4fb44c3c-64b2-4d93-b3ea-98c7440bbf4d.jpg?v=1682275027","url":"https:\/\/emka.si\/products\/practical-formal-software-engineering-1","provider":"EMKA","version":"1.0","type":"link"}