Documents disponibles écrits par cet auteur

Formal methods state of the art and new directions / Paul P. BOCA

Public ISBD Titre : Formal methods state of the art and new directions Type de document : texte imprimé Auteurs : Paul P. BOCA, Editeur (scientifique); Jonathan P. BOWEN, Editeur (scientifique); Jawed I. SIDDIQI, Editeur (scientifique); Jawed I.Siddiqi, Auteur Editeur : New York : Springer-Verlag Année de publication : 2010 Importance : 273 p. Présentation : som ill,. Format : 24 cm ISBN/ISSN/EAN : 978-1-84882-735-6 Langues : Anglais (eng) Catégories : 000 Généralités:Programmation, programmes, organisation des données, logiciel:Programmation et programmes système Index. décimale : 005.4 Formal methods state of the art and new directions [texte imprimé] / Paul P. BOCA, Editeur (scientifique); Jonathan P. BOWEN, Editeur (scientifique); Jawed I. SIDDIQI, Editeur (scientifique); Jawed I.Siddiqi, Auteur . - New York : Springer-Verlag, 2010 . - 273 p. : som ill,. ; 24 cm. ISBN : 978-1-84882-735-6 Langues : Anglais (eng) Catégories : 000 Généralités:Programmation, programmes, organisation des données, logiciel:Programmation et programmes système Index. décimale : 005.4

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
101254	005.4 BOC	Livre	Library	Repository	Exclu du prêt
111764	005.4 BOC-1	Livre	Library	Shelf	Disponible
111836	005.4 BOC-2	Livre	Library	Shelf	Disponible