Opis: Formal methods for the design of real-time systems :

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Bernardo, Marco
Korporativna značnica:	International school on formal methods for the design of computer, communication and software systems (Auteur)
Drugi avtorji:	Corradini, Flavio (Directeur de la publication)
Format:	Livre numérique
Jezik:	Anglais
Izdano:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serija:	Lecture notes in computer science 3185
Teme:	Génie logiciel Informatique Temps réel (informatique) Commande en temps réel Langages de programmation Réseaux d'ordinateurs Logiciels Systèmes informatiques Programmation en temps réel Actes de congrès
Online dostop:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Sporočilo:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Formal methods for the design of real-time systems, international school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, september 13-18, 2004, revised lectures, Marco Bernardo, Flavio Corradini (Eds), Berlin, Springer, 2004, 1 vol. (VI-293 p.), Lecture notes in computer science, 3-540-23068-8 • Formal Methods for the Design of Real-Time Systems, Texte imprimé, 9783662182994

Opis
Opis knjige/članka:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540300809 (PDF)
ISSN:	1611-3349
Dostop:	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