Specification and Proof in real- time CSP /

Salvato in:

Dettagli Bibliografici
Autore principale:	Davis, Jim
Natura:	Libro
Lingua:	inglese
Pubblicazione:	Cambridge : Press Sydicate, c1993.
Soggetti:	Communicating Sequential Processes (computer Programs) Computer Programs.
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi: Specification and Proof in real- time CSP /

Anteprima rapida
Real time UML workshop for embedded systems
Anteprima rapida
Preventative programming techniques avoid and correct common mistakes /
Anteprima rapida
Structured programming concepts /
Anteprima rapida
Software engineering (a lifecycle approach) /
Anteprima rapida
TouchDevelop: Programming on the Go
Anteprima rapida
Android Application Development for the Intel® Platform
Anteprima rapida
Programming for the absolute beginner
Anteprima rapida
Microcomputer applications : using small systems software /
Anteprima rapida
Program specialization
Anteprima rapida
Code craft the practice of writing excellent code /
Anteprima rapida
Beginning programming
Anteprima rapida
Elements of computer science /
Anteprima rapida
Software and its development /
Anteprima rapida
Techniques of program structure and design /
Anteprima rapida
A practical handbook for software development /
Anteprima rapida
Nginx 1 web server implementation cookbook over 100 recipes to master using the Nginx HTTP server and reverse proxy /
Anteprima rapida
SAP BusinessObjects Dashboards 4.0 cookbook over 90 simple and incredibly effective recipes for transforming your business data into exciting dashboards with SAP BusinessObjects Dashboards 4.0 Xcelsius /
Anteprima rapida
Programming like a pro for teens
Anteprima rapida
Mastering unit testing using Mockito and JUnit : an advanced guide to mastering unit testing using Mockito and JUnit /
Anteprima rapida
Coding for dummies /
Anteprima rapida
Coding all-in-one for dummies /
Anteprima rapida
Learn ASP.NET MVC /
Anteprima rapida
Write great code thinking low-level, writing high-level /
Anteprima rapida
Write great code understanding the machine /