aller au contenu
Nondeterministic modeling and verification of networked robotic systems Aperçu de cet ouvrage
FermerAperçu de cet ouvrage

Nondeterministic modeling and verification of networked robotic systems

Auteur : John-Michael McNew
Éditeur: 2008.
Dissertation: Ph. D. University of Washington 2008
Édition/format:   Thèse/dissertation : Thèse/mémoire : Manuscrit   Documents d'archives : Anglais
Récupération de l’exemplaire en ligne de cet ouvrage... Récupération de l’exemplaire en ligne de cet ouvrage...

Trouver un exemplaire dans la bibliothèque

Récupération de l’emplacement et de la disponibilité de cet ouvrage... Récupération de l’emplacement et de la disponibilité de cet ouvrage...

WorldCat

Chercher l’ouvrage dans les bibliothèques à travers le monde
Des bibliothèques à travers le monde possèdent cet ouvrage

Détails

Genre/forme: Academic theses
Theses
Type d’ouvrage: Thèse/mémoire, Manuscrit
Type de document: Livre, Documents d'archives
Tous les auteurs / collaborateurs: John-Michael McNew
Numéro OCLC: 747281888
Notes: Vita.
Description: xiv, 238 pages : illustrations ; 28 cm
Responsabilité: John-Michael McNew.
Récupération de notes sur cet ouvrage Récupération de notes sur cet ouvrage

Critiques

Critiques d’utilisateurs

Marqueurs

Soyez le premier.
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.

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

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