Cargando…

Specifying systems: the TLA+ language and tools for hardware and software engineers

Detalles Bibliográficos
Autor principal:	Lamport, Leslie
Lenguaje:	eng
Publicado:	Addison-Wesley 2003
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/1508586

Ejemplares similares

Practical TLA+: planning driven development
por: Wayne, Hillel
Publicado: (2018)

Code: the hidden language of computer hardware and software
por: Petzold, Charles
Publicado: (2000)

Hardware and software tools for neural networks
por: Treleaven, P C
Publicado: (1990)

Computer, Network, Software, and Hardware Engineering with Applications
por: Schneidewind, Norman F
Publicado: (2012)

Hardware and software surveillance
por: Braathen, Andreas
Publicado: (2005)

Hardware-dependent Software
por: Ecker, Wolfgang, et al.
Publicado: (2009)

Co-simulation hardware/software in computer systems
por: Mora, F, et al.
Publicado: (1998)

15th Eurographics : Advanced software and hardware tools for computer graphics
por: Peroche, Bernhard, et al.
Publicado: (1994)

Managing the testing process: practical tools and techniques for managing hardware and software testing
por: Black, Rex
Publicado: (2002)

Managing the Testing Process: Practical Tools and Techniques for Managing Hardware and Software Testing
por: Black, Rex
Publicado: (2011)

Windows software compatibility and hardware troubleshooting
por: Halsey, Mike, et al.
Publicado: (2015)

Introduction to microprocessors: software, hardware, programming
por: Leventhal, Lance A
Publicado: (1978)

Embedded Linux: hardware, software, and interfacing
por: Hollabaugh, Craig
Publicado: (2002)

List search hardware for interpretive software
por: Altaber, Jacques, et al.
Publicado: (1979)

Readings in Hardware/Software Co-Design
por: De Micheli, Giovanni, et al.
Publicado: (2001)

Hardware and computer organization: the software perspective
por: Berger, Arnold S
Publicado: (2005)

Many-core computing: hardware and software
por: Al-Hashimi, Bashir M, et al.
Publicado: (2019)

Bringing the power of dynamic languages to hardware control systems
por: Caicedo, J M, et al.
Publicado: (2009)

The architecture of computer hardware and systems software: an information technology approach
por: Englander, Irv
Publicado: (2009)

Software language engineering: creating domain-specific languages using metamodels
por: Kleppe, Anneke G
Publicado: (2009)

UML xtra-light: how to specify your software requirements
por: Kratochvil, Milan, et al.
Publicado: (2003)

Computer organization and design: the hardware/software interface
por: Patterson, David A, et al.
Publicado: (2013)

IT essentials: PC hardware and software companion guide
Publicado: (2014)

Computer organization and design: the hardware/software interface
por: Patterson, David A, et al.
Publicado: (2007)

Computer organization and design: the hardware/software interface
por: Patterson, David A, et al.
Publicado: (2009)

Microcomputer: analog converter software and hardware interfacing
por: Titus, Jonathan A, et al.
Publicado: (1978)

A formal notation for hardware and software verification
por: Chapman, R, et al.
Publicado: (1986)

Computer organization and design: the hardware/software interface
por: Patterson, David A, et al.
Publicado: (2011)

The architecture of computer hardware, systems software, & networking : an information technology approach
por: Englander, Irv
Publicado: (2014)

IFIP Workshop on Hardware-supported Implementation on Concurrent Languages in Distributed Systems
por: Dagless, Erik L, et al.
Publicado: (1985)

Evaluating the scalability of HEP software and multi-core hardware
por: Jarp, S, et al.
Publicado: (2011)

Computer architecture; software and hardware, v.1-2
por: Kain, Richard Y
Publicado: (1989)

Conference on New Developments in Hardware and Software for Computational Physics
por: Collective
Publicado: (1988)

Complete CompTIA A+ guide to IT hardware and software
por: Schmidt, Cheryl A
Publicado: (2016)

Systematic profiling to monitor and specify the software refactoring process of the LHCb experiment
por: Couturier, Ben, et al.
Publicado: (2014)

Computer engineering: a DEC view of hardware systems design
por: Bell, C Gordon, et al.
Publicado: (1978)

Performance comparison between ISCSI and other hardware and software solutions
por: Gug, Mathias
Publicado: (2003)

Introduction to PCI Express: A Hardware and Software Developer's Guide
por: Wilen, Adam, et al.
Publicado: (2003)

Co-verification of hardware and software for ARM SoC design
por: Andrews, Jason
Publicado: (2004)

Object oriented hardware-software test bench for OMTF diagnosis
por: Drabik, Pawel, et al.
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_glp4ifbmecbonu7u3kc5ebk3p6