10% off all books and free delivery over £50
Buy from our bookstore and 25% of the cover price will be given to a school of your choice to buy more books. *15% of eBooks.
Maschinen-Unabhängige Code-Erzeugung Als Semantikerhaltende Beweisbare Programmtransformation

Maschinen-Unabhängige Code-Erzeugung Als Semantikerhaltende Beweisbare Programmtransformation

By (author)
Part of the Informatik-Fachberichte series

Paperback
Not Available

View All Editions (1)

The selected edition of this book is not available to buy right now.
Add To Wishlist
Write A Review

About

Maschinen-Unabhängige Code-Erzeugung Als Semantikerhaltende Beweisbare Programmtransformation Synopsis

Maschinen-Unabhängige Code-Erzeugung Als Semantikerhaltende Beweisbare Programmtransformation by H Stoyan

About This Edition

ISBN: 9783540138952
Publication date:
Author: H Stoyan
Publisher: Springer an imprint of Springer Berlin Heidelberg
Format: Paperback
Pagination: 368 pages
Series: Informatik-Fachberichte
Genres: Compilers and interpreters
Software Engineering

©PTC International Ltd T/A LoveReading is registered in England. Company number: 10193437. VAT number: 270 4538 09. Registered address: 157 Shooters Hill, London, SE18 3HP.
Terms & Conditions | Privacy Policy | Disclaimer