Glacier Fluctuations and Climatic Change 124 Jos´ e Luiz Fiadeiro

Jos´ e Luiz Fiadeiro

die in verschiedenen Geschäftsfeldern tätig sind

Auswahl und Bearbeitung von aktuell oder potentiell bedeutenden Kunden des Dienstleisters

Disagreement over the place of formal methods in computer science has recently arisen in the form of renewed interest in the nature and capacity of program verification as a method for establishing the reliability of software systems

Glacier Fluctuations and Climatic Change 124 Jos´ e Luiz FiadeiroProceedings of the Symposium on Glacier Fluctuations and Climatic Change, held in Amsterdam, June 1 5, 1987 Proceedings of the Symposium on Glacier Fluctuations and Climatic Change, held at Amsterdam, 15 June 1987 Proceedings of the Symposium on Glacier Fluctuations and Climatic Change, held at Amsterdam, 15 June 1987