Interactive systems : design, specification, and verification 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 2000 revised papers
Enregistré dans:
Auteurs principaux : | , , |
---|---|
Collectivité auteur : | |
Format : | Livre |
Langue : | anglais |
Titre complet : | Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 2000 : revised papers / Philippe Palanque, Fabio Patern'o (eds.) |
Publié : |
Berlin, New York :
Springer
, C 2001 |
Description matérielle : | 1 vol. (VI-250 p.) |
Collection : | Lecture notes in computer science ; 1946 |
Sujets : | |
Documents associés : | Autre format:
Interactive systems |
Bib. IUT de Nantes - Joffre
| Cote | Prêt | Statut |
---|---|---|---|
Site Joffre | 840-88 | Prêt sans prolongation | Disponible |