Foundations of Software Science and Computation Structures Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Thomas, Wolfgang (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
• Έκδοση: 1st ed. 1999.
• Σειρά: Lecture Notes in Computer Science, 1578
• Θέματα: Software engineering.; Computer logic.; Mathematical logic.; Computers.; Programming languages (Electronic computers).; Software Engineering/Programming and Operating Systems.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Computation by Abstract Devices.; Programming Languages, Compilers, Interpreters.; Software Engineering.
• Φυσική περιγραφή: X, 330 p. online resource.
• ISBN: 9783540490197
• ISSN: 0302-9743 ;
• DOI: 10.1007/3-540-49019-1