The Correctness-by-Construction Approach to Programming

Lieferzeit: Lieferbar innerhalb 14 Tagen

106,99 

ISBN: 3642448542
ISBN 13: 9783642448546
Autor: Kourie, Derrick G/Watson, Bruce W
Verlag: Springer Verlag GmbH
Umfang: xiv, 266 S., 37 s/w Illustr.
Erscheinungsdatum: 09.05.2014
Auflage: 1/2014
Produktform: Kartoniert
Einband: Kartoniert

InhaltsangabeIntroduction.- Background.- Simple Examples.- Intermediary Examples.- Procedures and Recursion.- Case Study: Lattice Cover Graph Construction.- Case Study 2: Classifying MADFA Construction Algorithms.

Artikelnummer: 6676451 Kategorie:

Beschreibung

Autorenporträt

Derrick G. Kourie is a full professor in the Department of Computer Science at the University of Pretoria in South Africa. He has published extensively on software engineering, algorithm construction and analysis, and formal methods and specification languages. His goal is to combine theory and practice in a way that impacts the efficiency and effectiveness of the software process. Bruce W. Watson is a full professor in the Department of Information Science at Stellenbosch University, and professor extraordinary at the University of Pretoria and director of the FASTAR (Finite Automata Systems - Theoretical and Applied Research) group, spanning the Netherlands, South Africa, the USA, and Finland. His research and development activities cover programming languages, automata and their applications, algorithms, parallelism, and reconfigurable computing.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …