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

Auteur(s) : International Conference of B and Z Users (4 ; 2005 ; Guildford, England)  Voir les notices liées en tant qu'auteur

Titre(s) : ZB 2005 [Texte électronique] : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings / Helen Treharne [and others] (eds.)

Publication : Berlin ; New York : Springer, cop. 2005

Description matérielle : 1 online resource (xv, 492 pages)

Collection : Lecture notes in computer science ; 3455

Note(s) : Includes bibliographical references and index. - Print version record.

Autre(s) auteur(s) : Treharne, Helen. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Autre(s) forme(s) du titre : 
- Autre forme du titre : Formal specification and development in Z and B
- Autre forme du titre : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005

Sujet(s) : Génie logiciel  Voir les notices liées en tant que sujet
Informatique  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet
B (méthode formelle)  Voir les notices liées en tant que sujet
Z (méthode formelle)  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.133 (23e éd.) = Langages de programmation particuliers [Swift]  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 ; 005.133 (23e éd.) =   Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540320074

Identifiant de la notice  : ark:/12148/cb446859639

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