%0 Generic
%T Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
%A Abrial, Jean-Raymond
%A Glässer, Uwe
%I Springer Berlin Heidelberg
%@ 9783642114472
%K Information theory
%K Computer software
%K Electronic data processing
%K Computer science
%K Algorithms
%K Computer Science
%K Computer programming.
%K Machine theory.
%K Artificial intelligence.
%K Aufsatzsammlung
%K Software Engineering
%K Programmierung
%K Formale Methode
%K Softwarespezifikation
%K Systemanalyse
%D 2009
%C Springer Berlin Heidelberg
%C Berlin, Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation