Language: English

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Hähnle, Reiner.

Overview

Works:	0 works in 1 publications in 1 languages

Titles

The logic of software = a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday / by: Hähnle, Reiner.; Ahrendt, Wolfgang.; SpringerLink (Online service) (Language materials, printed)

Subjects

Software Engineering. Theory of Computation. Computer logic. Computer Engineering and Networks. Computer Science Logic and Foundations of Programming.

Change password

Login