Synthesis of Finite State Machines : Functional Optimization

Tallennettuna:
Bibliografiset tiedot
Päätekijät: Kam, Timothy, Brayton, Robert King, 1933- (Tekijä), Sangiovanni-Vincentelli, Alberto, 1947-...., mathématicien (Tekijä), Villa, Tiziano (Tekijä)
Aineistotyyppi: Livre numérique
Kieli:Anglais
Julkaistu: Cham : Springer International Publishing [20..].
Cham : Springer Nature
Linkit:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Huomautus: Autre(s) auteurs(s) : Alberto Sangiovanni-Vincentelli
Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Synthesis of Finite State Machines, Functional Optimization
Kuvaus
Huomautukset:Autre(s) auteurs(s) : Alberto Sangiovanni-Vincentelli
Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
ISBN:9781475726220
Pääsy:Accès en ligne pour les établissements français bénéficiaires des licences nationales
Accès soumis à abonnement pour tout autre établissement
Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017