Opis: Tools and algorithms for the construction and analysis of systems :

Zapisane w:

Opis bibliograficzny
organizacja autorów:	International Conference on Tools and Algorithms for the Construction and Analysis of Systems :Warsaw, PL, European joint conferences on theory and practice of software (Autor)
Kolejni autorzy:	Hatcliff, John, 1966- (Dyrektor wydawnictwa), Garavel, Hubert, 1963-...., informaticien (Dyrektor wydawnictwa)
Format:	Livre numérique
Język:	Anglais
Wydane:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seria:	Lecture notes in computer science 2619
Hasła przedmiotowe:	Génie logiciel Informatique Algorithmes Systèmes, Conception de Réseaux d'ordinateurs Logiciels > Développement 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:	• Tools and algorithms for the construction and analysis of systems, 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, proceedings, Hubert Garavel, John Hatcliff (eds.), Berlin, Springer, 2003, 1 vol. (XVI-604 p.), Lecture notes in computer science, 3-540-00898-5 • Tools and Algorithms for the Construction and Analysis of Systems, Texte imprimé, 9783662186091

Opis
Deskrypcja:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540365778 (PDF)
ISSN:	1611-3349
Ograniczenie dostępu:	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