Author: Joseph J. Carr
Publisher:
ISBN:
Category : Zilog Model Z-80 (Computer)
Languages : en
Pages : 344
Book Description
Z80 Users Manual
Author: Joseph J. Carr
Publisher:
ISBN:
Category : Zilog Model Z-80 (Computer)
Languages : en
Pages : 344
Book Description
Publisher:
ISBN:
Category : Zilog Model Z-80 (Computer)
Languages : en
Pages : 344
Book Description
Early Home Computers
Author:
Publisher: PediaPress
ISBN:
Category :
Languages : en
Pages : 1165
Book Description
Publisher: PediaPress
ISBN:
Category :
Languages : en
Pages : 1165
Book Description
Modern Component Families and Circuit Block Design
Author: Nihal Kularatna
Publisher: Newnes
ISBN: 0750699922
Category : Technology & Engineering
Languages : en
Pages : 471
Book Description
&Quot;Modern Component Families and Circuit Block Design gathers and summarizes this material in a single volume, and also provides a designer's viewpoint on modern components. This book provides a practical approach to design problems rather than a generic analysis of broad engineering issues."--BOOK JACKET.
Publisher: Newnes
ISBN: 0750699922
Category : Technology & Engineering
Languages : en
Pages : 471
Book Description
&Quot;Modern Component Families and Circuit Block Design gathers and summarizes this material in a single volume, and also provides a designer's viewpoint on modern components. This book provides a practical approach to design problems rather than a generic analysis of broad engineering issues."--BOOK JACKET.
Microcomputer User's Handbook
Author: Dennis Longley
Publisher: Springer
ISBN: 1349067377
Category : Business & Economics
Languages : en
Pages : 397
Book Description
Publisher: Springer
ISBN: 1349067377
Category : Business & Economics
Languages : en
Pages : 397
Book Description
Programming the Z80
Author: Rodnay Zaks
Publisher: Sybex
ISBN: 9780895880130
Category : Computers
Languages : en
Pages : 628
Book Description
Publisher: Sybex
ISBN: 9780895880130
Category : Computers
Languages : en
Pages : 628
Book Description
COPS Microcontrollers Databook
Author:
Publisher:
ISBN:
Category : Microcomputers
Languages : en
Pages : 950
Book Description
Publisher:
ISBN:
Category : Microcomputers
Languages : en
Pages : 950
Book Description
Formal Methods: Foundations and Applications
Author: Marcel VinÃcius Medeiros Oliveira
Publisher: Springer
ISBN: 3642104525
Category : Computers
Languages : en
Pages : 360
Book Description
This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing. The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. The symposium provided an opportunity for researchers with a broad range of interests in formal methods for developing computing systems and software to discuss recent developments in this field.
Publisher: Springer
ISBN: 3642104525
Category : Computers
Languages : en
Pages : 360
Book Description
This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing. The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. The symposium provided an opportunity for researchers with a broad range of interests in formal methods for developing computing systems and software to discuss recent developments in this field.
Microprocessor-based Design
Author: Michael Slater
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 634
Book Description
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 634
Book Description
Electronic Reliability Design Handbook
Author:
Publisher:
ISBN:
Category : Electronic apparatus and appliances
Languages : en
Pages : 480
Book Description
Publisher:
ISBN:
Category : Electronic apparatus and appliances
Languages : en
Pages : 480
Book Description
Formal Methods for Industrial Critical Systems
Author: Mariëlle Stoelinga
Publisher: Springer
ISBN: 364232469X
Category : Computers
Languages : en
Pages : 234
Book Description
This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
Publisher: Springer
ISBN: 364232469X
Category : Computers
Languages : en
Pages : 234
Book Description
This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.