Programmverifikation by Krzysztof R Apt, ErnstRüdiger Olderog
| ISBN: | 9783540574798 |
| Publication date: | 21st March 1994 |
| Author: | Krzysztof R Apt, ErnstRüdiger Olderog |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 258 pages |
| Series: | Springer-Lehrbuch |
| Genres: |
Systems analysis and design Mathematical logic Software Engineering Mathematical theory of computation Mathematical foundations Computer hardware Computer programming / software engineering |
Programmverifikation by Krzysztof R Apt, ErnstRüdiger Olderog
Programmverifikation features in the following genres: Systems analysis and design, Mathematical logic, Software Engineering, Mathematical theory of computation, Mathematical foundations, Computer hardware, Computer programming / software engineering
Paperback. Not Available.
Programmverifikation was written by Krzysztof R Apt, ErnstRüdiger Olderog and published by Springer an imprint of Springer Berlin Heidelberg
Programmverifikation has 258 pages
Yes it is part of Springer-Lehrbuch series