Freunden von diesem Artikel berichten:
Introducing Software Verification with Dafny Language: Proving Program Correctness Boro Sitnikovski 1st edition
Hast du ein Profil? Anmelden
Benachrichtigungen über neue Veröffentlichungen von Boro Sitnikovski erhalten
Zu deiner iMusic Wunschliste hinzufügen
oder
Introducing Software Verification with Dafny Language: Proving Program Correctness
Boro Sitnikovski
131 pages, 104 Illustrations, black and white; XX, 131 p. 104 illus.
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 1. März 2022 |
| ISBN13 | 9781484279779 |
| Verlag | APress |
| Seitenanzahl | 131 |
| Maße | 150 × 220 × 10 mm · 222 g |
| Sprache | Englisch |
![Cover for Scott Robinson · Data Analysis in Power BI: Going Deep into Data Using Visualization (Taschenbuch) [1st edition] (2028)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Zeeshan Chawdhary · Practical Laravel 11: Modern App Development with PHP, React, React Native, Vue and GraphQL (Taschenbuch) [1st edition] (2027)](https://imusic.b-cdn.net/images/item/original/263/9798868802263.jpg?zeeshan-chawdhary-2027-practical-laravel-11-modern-app-development-with-php-react-react-native-vue-and-graphql-taschenbuch&class=scaled&v=1720128954)
![Cover for Felipe Gutierrez · Pro Spring Boot 4: An Authoritative Guide with Best Practices (Taschenbuch) [Fourth edition] (2026)](https://imusic.b-cdn.net/images/item/original/399/9798868826399.jpg?felipe-gutierrez-2026-pro-spring-boot-4-an-authoritative-guide-with-best-practices-taschenbuch&class=scaled&v=1782169949)
![Cover for Carleton DiLeo · Clean Ruby: A Guide to Crafting Better Code for Rubyists (Taschenbuch) [Second edition] (2026)](https://imusic.b-cdn.net/images/item/original/429/9798868826429.jpg?carleton-dileo-2026-clean-ruby-a-guide-to-crafting-better-code-for-rubyists-taschenbuch&class=scaled&v=1782140938)
