aller au contenu
Software abstractions : logic, language, and analysis Aperçu de cet ouvrage
FermerAperçu de cet ouvrage

Software abstractions : logic, language, and analysis

Auteur : Daniel Jackson
Éditeur : Cambridge, Mass. : MIT Press, ©2012.
Édition/format :   Livre : Anglais : Rev. edVoir toutes les éditions et les formats
Évaluation :

(pas encore évalué) 0 avec des critiques - Soyez le premier.

 

Trouver un exemplaire en ligne

Liens vers cet ouvrage

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Type d’ouvrage : Ressource Internet
Format : Livre, Ressource Internet
Tous les auteurs / collaborateurs : Daniel Jackson
ISBN : 9780262017152 0262017156
Numéro OCLC : 741354892
Description : xviii, 354 p. : ill. ; 24 cm.
Responsabilité : Daniel Jackson.

Critiques

Critiques éditoriales

Synopsis de l’éditeur

"Those who have to learn and use the modern generation of formal methods -- streamlined, lightweight, and highly automated -- will welcome the appearance of the second edition of Daniel Jackson's Lire la suite...

 
Critiques d’utilisateurs
Récupération des critiques de GoodReads...

Tags

Soyez le premier.

Ouvrages semblables

Sujets associés :(1)

Listes d’utilisateurs dans lesquelles cet ouvrage apparaît (1)

Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


<http://www.worldcat.org/oclc/741354892>
library:oclcnum"741354892"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/741354892>
rdf:typeschema:Book
rdfs:seeAlso
rdfs:seeAlso
schema:about
schema:about
schema:about
schema:author
schema:bookEdition"Rev. ed."
schema:copyrightYear"2012"
schema:datePublished"2012"
schema:inLanguage"en"
schema:name"Software abstractions : logic, language, and analysis"
schema:numberOfPages"354"
schema:publisher
Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.