Modélisation et spécification formelle des logiciels

Modélisation et spécification formelle des logiciels

Enregistré dans:

Détails bibliographiques
Auteur principal:	Tremblay, Guy (1958-....). (Auteur)
Support:	E-Book
Langue:	Français
Publié:	Québec : Loze-Dion éditeur, 2006.
Sujets:	Computer programs. Formal methods (Computer science). Logiciels. Logiciels > Modèles de conception. Méthodes formelles (Informatique). Software patterns.
Autres localisations:	Voir dans le Sudoc
Accès en ligne:	Accès à l'E-Book
Lien:	Autre support: Modélisation et spécification formelle des logiciels / Guy Tremblay

Documents similaires

Modeling and Verification Using UML Statecharts : A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking
par: Drusinsky, Doron.
Publié: (2006)

Object-oriented JavaScript : create scalable, reusable high-quality JavaScript applications and libraries
par: Stefanov, Stoyan.
Publié: (2008)

Design patterns for embedded systems in C : an embedded software engineering Toolkit
par: Douglass, Bruce Powel.
Publié: (2011)

Améliorer la maintenance du logiciel
par: April, Alain.

Construction et maintenance de logiciel : un point de vue pratique
par: Gabrini, Philippe J. (1940-....).
Publié: (2006)

Cryptography for Developers
par: St. Denis, Tom (19..-....).
Publié: (2006)

Pattern Recognition Algorithms For Data Mining Scalability, Knowledge Discovery And Soft Granular Computing
par: Pal, Sankar Kumar (19..-....).

IPv6 Socket API Extensions : Programmer's Guide
par: Li, Qing.
Publié: (2009)

Bluetooth Application Programming with the Java APIs
par: Thompson, Timothy J..

Trojans, Worms, and Spyware A Computer Security Professional's Guide to Malicious Code
par: Erbschloe, Michael (1951-....).

SQL Injection Attacks and Defense
par: Clarke, Justin.

Embedded systems security : practical methods for safe and secure software and systems development
par: Kleidermacher, David.
Publié: (2012)

Tru64 UNIX Troubleshooting : Diagnosing and Correcting System Problems
par: Moore, Martin (1970-....).
Publié: (2002)

IPv6 Network Programming
par: Hagino, Jun-ichiro itojun.

Object-Oriented Design with UML and Java
par: Barclay, Kenneth.
Publié: (2003)

Modélisation solide et dessin technique pour l'ingénieur
par: Lévesque, Benoît.
Publié: (2006)

Hands-on Blockchain for Python developers : gain blockchain programming skills to build decentralized applications using Python
par: Kok, Arjuna Sky.
Publié: (2019)

Safari and WebKit Development for iPhone OS 3.0
par: Wagner, Richard.
Publié: (2009)

Systems Science and Modeling for Ecological Economics
par: Voinov, Alexey.
Publié: (2008)

The Basics of Hacking and Penetration Testing Ethical Hacking and Penetration Testing Made Easy
par: Engebretson, Patrick (1974-....).
Publié: (2013)

Visual usability : principles and practices for designing digital applications
par: Schlatter, Tania.
Publié: (2013)

Building PHP applications with Symfony, CakePHP, and Zend Framework
par: Porebski, Bartosz.
Publié: (2011)

Excel data analysis : your visual blueprint for creating and analyzing data, charts and PivotTables
par: Etheridge, Denise.
Publié: (2010)

Digital signal processing system design : LabVIEW-Based hybrid programming
par: Kehtarnavaz, Nasser.
Publié: (2011)

Introduction à la programmation avec ISO C++
par: Michaud, Michel.

Heterogeneous computing with OpenCL : revised OpenCL 1.2 edition
par: Gaster, Benedict (19..-....).
Publié: (2012)

Flash Professional CS5 bible
par: Perkins, Todd.
Publié: (2010)

Microcontroller projects in C for the 8051
par: Ibrahim, Dogan (1954-....).
Publié: (2000)

Programming 8-bit PIC Microcontrollers in C with Interactive Hardware Simulation
par: Bates, Martin P..

Structures de données avancées avec la STL programmation orientée : POO en C++
par: Gabrini, Philippe J. (1940-....).
Publié: (2005)

Perl Scripting for Windows Security Live Response, Forensic Analysis, and Monitoring
par: Carvey, Harlan.

Virtualization Security Protecting Virtualized Environments
par: Shackleford, Dave.
Publié: (2012)

Software engineering for embedded systems methods, practical techniques, and applications
par: Oshana, Robert.
Publié: (2013)

Computational Mathematics : Models, Methods, and Analysis with MATLAB and MPI
par: White, Robert Ernest.
Publié: (2003)

Gérer en mode gestion de projet avec Microsoft Office Project
par: Desrosiers, Pierre.

Using Open Source Platforms for Business Intelligence Avoid Pitfalls and Maximize ROI
par: Wise, Lyndsay.
Publié: (2012)

TCPIP Sockets in Java Practical Guide for Programmers
par: Calvert, Kenneth L..

Pattern Formations and Oscillatory Phenomena
par: Kinoshita, Shuichi.
Publié: (2013)

DSP software development techniques for embedded and real-time systems
par: Oshana, Robert.

Programming 32-bit microcontrollers in C : exploring the PIC32
par: Di Jasio, Lucio (ingénieur).
Publié: (2011)

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1