The SECD Microprocessor : A Verification Case Study

Uloženo v:
Podrobná bibliografie
Hlavní autor: Graham, Brian T.
Médium: Livre numérique
Jazyk:Anglais
Vydáno: Cham : Springer International Publishing [20..].
Cham : Springer Nature
On-line přístup:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Poznámka: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• The SECD Microprocessor, A Verification Case Study
LEADER 01677nam a22002897a 4500
001 975569
008 190906q2000 xxe ||| |||| 00| 0 eng d
009 PPN237920751
020 |a 9781461535768 
024 |a 9781461535768 
041 0 |a eng 
082 |a 621.392 
100 1 |a Graham, Brian T. 
245 1 0 |a The SECD Microprocessor :  |b A Verification Case Study   |c Brian T. Graham. 
260 |a Cham :  |b Springer International Publishing. 
260 |a Cham :  |b Springer Nature,  |c [20..]. 
500 |a Archives Springer e-books (Licence nationale) 
500 |a Archives Springer e-books (Licence nationale) 
506 |a Accès en ligne pour les établissements français bénéficiaires des licences nationales 
506 |a Accès soumis à abonnement pour tout autre établissement 
506 |a 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 
776 0 |t The SECD Microprocessor  |o A Verification Case Study 
856 4 |q PDF  |u https://doi.org/10.1007/978-1-4615-3576-8  |z Accès sur la plateforme de l'éditeur 
856 4 |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-HCVHDNCP-N  |z Accès sur la plateforme Istex 
856 4 |5 452349901:750586052  |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/978-1-4615-3576-8  |z Accès Université d'Orléans 
856 4 |5 180339901:753948516  |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/978-1-4615-3576-8  |z Accès INSA CVL 
997 |0 975569  |1 Livre numérique  |a Ressource numérique  |b INSA  |b ENSA  |c 0/Bibliothèque numérique/  |c 1/Bibliothèque numérique/Autre ressource numérique/