An edition of Semantik und Programmverifikation (2001)

Semantik und Programmverifikation

by

Cover of: Semantik und Programmverifikation by Christoph Walther
Locate

My Reading Lists:

Create a new list

Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
January 31, 2024 | History
Edit
An edition of Semantik und Programmverifikation (2001)

Semantik und Programmverifikation

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Vieweg+Teubner Verlag
Language
German

Check nearby libraries

Buy this book

Subjects

Programmverifikation, Formale Semantik, Funktionale Programmiersprache
Edition Availability
Cover of: Semantik und Programmverifikation
Semantik und Programmverifikation
2001, Vieweg+Teubner Verlag
Elektronische Ressource in German

Add another edition?

Book Details

Edition Notes

Lizenzpflichtig

Langzeitarchivierung gewährleistet LZA

Published in
Wiesbaden
Series
TEUBNER-TEXTE zur Informatik -- 34,

Classifications

Dewey Decimal Class
620
Library of Congress
T1-995

The Physical Object

Format
Elektronische Ressource
Pagination
Online-Ressource.

Edition Identifiers

Open Library
OL27087048M
ISBN 10
3322867684
ISBN 13
9783322867681
OCLC/WorldCat
863935744

Work Identifiers

Work ID
OL19901503W

Source records

Internet Archive item record
Better World Books record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
January 31, 2024 Edited by ImportBot import existing book
July 7, 2019 Created by MARC Bot import new book