adicionar à lista de desejos
Specification And Transformation Of Programs
A Formal Approach To Software Development
language: english
Publisher:
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, July of 1990 ‧
see product details
OUT OF STOCK OR NOT AVAILABLE
Sell your book
SYNOPSIS
Provides an introduction to formal specification and transformational programming.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9783540523567 |
| Publisher: | SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Release Date: | July of 1990 |
| Language: | English |
| Cover: | Hardcover |
| Pages: | 493 |
| Format: | Book |
| Categories: |
Books in English
>
Computing
>
Schedule
Books in English > Computing > Introduction to Computing |
| EAN: | 9783540523567 |