實物特徵: Static analysis :

Enregistré dans:

書目詳細資料
企業作者:	International static analysis symposium :Santa Barbara
其他作者:	Palsberg, Jens, 19..- (Directeur de la publication)
格式:	Livre numérique
語言:	Anglais
出版:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
叢編:	Lecture notes in computer science 1824
主題:	Génie logiciel Informatique Langages de programmation Ordinateurs Logique symbolique et mathématique Actes de congrès
在線閱讀:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
提示:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Static analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, proceedings, Jens Palsberg (ed.), Berlin, Springer, 2000, 1 vol. (VIII-432 p.), Lecture notes in computer science, 3-540-67668-6 • Static Analysis, Texte imprimé, 9783662161869

實物特徵
Item Description:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540450993 (PDF)
ISSN:	1611-3349
訪問:	Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017