Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : International SPIN Workshop (17 ; 2010 ; Enschede, Netherlands)  Voir les notices liées en tant qu'auteur

Titre(s) : Model checking software [Texte électronique] : 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings / Jaco van de Pol, Michael Weber (Eds.)

Publication : Berlin ; Heidelberg : Springer, cop. 2010

Description matérielle : 1 online resource (1 texte électronique)

Collection : Lecture notes in computer science ; 6349
LNCS sublibrary. SL 1, Theoretical computer science and general issues

Note(s) : In Springer Link (Monographies électroniques). - International conference proceedings. - Titre de l'écran-titre (visionné le 7 oct. 2010). - Versement en lot. - Includes bibliographical references and author index

Autre(s) auteur(s) : Pol, Jaco van de. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Weber, Michael (Dr.). Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Génie logiciel  Voir les notices liées en tant que sujet
Informatique  Voir les notices liées en tant que sujet
Logiciels -- Vérification  Voir les notices liées en tant que sujet
Langages de programmation  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.14 (23e éd.) = Programmation (informatique) - Vérification, tests, mesures, débogage  Voir les notices liées en tant que sujet ; 005.1 (23e éd.) = Développement de logiciels  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783642161643

Identifiant de la notice  : ark:/12148/cb44700759t

Notice n° :  FRBNF44700759 (notice reprise d'un réservoir extérieur)