Popis: Integrated formal methods :

Uloženo v:

Podrobná bibliografie
Korporativní autor:	International Conference on Integrated Formal Methods :Dagstuhl Castle, Allemagne
Další autoři:	Grieskamp, Wolfgang, 1960- (Šéfredaktor, odpovědný redaktor), Santen, Thomas, 1965- (Šéfredaktor, odpovědný redaktor), Stoddart, Bill, 1946- (Šéfredaktor, odpovědný redaktor)
Médium:	Livre numérique
Jazyk:	Anglais
Vydáno:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Edice:	Lecture notes in computer science 1945
Témata:	Génie logiciel Informatique Langages de programmation Ordinateurs Logiciels > Développement Actes de congrès
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Integrated formal methods, second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, proceedings, Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.), 2000, New York, Springer, 1 vol. (X-439 p.), Lecture notes in computer science, 3-540-41196-8 • Integrated Formal Methods, Texte imprimé, 9783662203743

Popis
Popis jednotky:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540409113 (PDF)
ISSN:	1611-3349
Přístup:	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