A uniform constraint-based framework for the verification of infinite state systems [Elektronische Ressource] / von Supratik Mukhopadhyay
178 pages
English

A uniform constraint-based framework for the verification of infinite state systems [Elektronische Ressource] / von Supratik Mukhopadhyay

Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres
178 pages
English
Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres

Sujets

Informations

Publié par
Publié le 01 janvier 2007
Nombre de lectures 10
Langue English
Poids de l'ouvrage 1 Mo

Extrait

  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • Podcasts Podcasts
  • BD BD
  • Documents Documents