Foundations of software science and computation structures : First International Conference, FoSSaCS ±98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ±98, Lisbon, Portugal, March 28 April 4, 1998 : proceedings

This book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/Apr...

Szczegółowa specyfikacja

Opis bibliograficzny

organizacja autorów:	International conference on Foundations of software science and computation structures :Lisbonne, Portugal, International joint conference on theory and practice of software development (Autor)
Kolejni autorzy:	Nivat, Maurice, 1937-2017, informaticien (Dyrektor wydawnictwa)
Format:	Livre numérique
Język:	Anglais
Wydane:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seria:	Lecture notes in computer science 1378
Hasła przedmiotowe:	Génie logiciel Informatique Langages de programmation Systèmes, Analyse de Logiciels Logique symbolique et mathématique Actes de congrès
Dostęp online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Komentarz:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Foundations of software science and computation structures, First International Conference, FoSSaCS ±98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ±98, Lisbon, Portugal, March/April 1998, proceedings, Maurice Nivat (ed.), 1998, Berlin, Springer, 1 vol. (X-287 p.), Lecture notes in computer science, 3-540-64300-1 • Foundations of Software Science and Computation Structures, Texte imprimé, 9783662201053