Modélisation et spécification formelle des logiciels

Modélisation et spécification formelle des logiciels

保存先:

書誌詳細
第一著者:	Tremblay, Guy (1958-....). (著者)
フォーマット:	E-Book
言語:	Français
出版事項:	Québec : Loze-Dion éditeur, 2006.
主題:	Computer programs. Formal methods (Computer science). Logiciels. Logiciels > Modèles de conception. Méthodes formelles (Informatique). Software patterns.
Autres localisations:	Voir dans le Sudoc
オンライン･アクセス:	Accès à l'E-book

類似資料

Modeling and Verification Using UML Statecharts : A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking
著者:: Drusinsky, Doron.
出版事項: (2006)

Object-oriented JavaScript : create scalable, reusable high-quality JavaScript applications and libraries
著者:: Stefanov, Stoyan.
出版事項: (2008)

Design patterns for embedded systems in C : an embedded software engineering Toolkit
著者:: Douglass, Bruce Powel.
出版事項: (2011)

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

Construction et maintenance de logiciel : un point de vue pratique
著者:: Gabrini, Philippe J. (1940-....; informaticien).
出版事項: (2006)

Cryptography for Developers
著者:: St. Denis, Tom (19..-....).
出版事項: (2006)

IPv6 Socket API Extensions : Programmer's Guide
著者:: Li, Qing.
出版事項: (2009)

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

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

SQL Injection Attacks and Defense
著者:: Clarke, Justin.

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

Embedded systems security : practical methods for safe and secure software and systems development
著者:: Kleidermacher, David.
出版事項: (2012)

Tru64 UNIX Troubleshooting : Diagnosing and Correcting System Problems
著者:: Moore, Martin (1970-....).
出版事項: (2002)

Object-Oriented Design with UML and Java
著者:: Barclay, Kenneth.
出版事項: (2003)

IPv6 Network Programming
著者:: Hagino, Jun-ichiro itojun.

Safari and WebKit Development for iPhone OS 3.0
著者:: Wagner, Richard.
出版事項: (2009)

The Basics of Hacking and Penetration Testing Ethical Hacking and Penetration Testing Made Easy
著者:: Engebretson, Patrick (1974-....).
出版事項: (2013)

Systems Science and Modeling for Ecological Economics
著者:: Voinov, Alexey.
出版事項: (2008)

Visual usability : principles and practices for designing digital applications
著者:: Schlatter, Tania.
出版事項: (2013)

Building PHP applications with Symfony, CakePHP, and Zend Framework
著者:: Porebski, Bartosz.
出版事項: (2011)

Digital signal processing system design : LabVIEW-Based hybrid programming
著者:: Kehtarnavaz, Nasser.
出版事項: (2011)

Heterogeneous computing with OpenCL : revised OpenCL 1.2 edition
著者:: Gaster, Benedict (19..-....).
出版事項: (2012)

Excel data analysis : your visual blueprint for creating and analyzing data, charts and PivotTables
著者:: Etheridge, Denise.
出版事項: (2010)

Flash Professional CS5 bible
著者:: Perkins, Todd.
出版事項: (2010)

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

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

Modélisation solide et dessin technique pour l'ingénieur
著者:: Lévesque, Benoît.
出版事項: (2006)

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

Microcontroller projects in C for the 8051
著者:: Ibrahim, Dogan (1954-....).
出版事項: (2000)

Structures de données avancées avec la STL programmation orientée : POO en C++
著者:: Gabrini, Philippe J. (1940-....; informaticien).
出版事項: (2005)

Virtualization Security Protecting Virtualized Environments
著者:: Shackleford, Dave.
出版事項: (2012)

Software engineering for embedded systems methods, practical techniques, and applications
著者:: Oshana, Robert.
出版事項: (2013)

Computational Mathematics : Models, Methods, and Analysis with MATLAB and MPI
著者:: White, Robert Ernest.
出版事項: (2003)

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

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

Programming 32-bit microcontrollers in C : exploring the PIC32
著者:: Di Jasio, Lucio (ingénieur).
出版事項: (2011)

Using Open Source Platforms for Business Intelligence Avoid Pitfalls and Maximize ROI
著者:: Wise, Lyndsay.
出版事項: (2012)

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

Software Development for Embedded Multi-core Systems A Practical Guide Using Embedded Intel Architecture
著者:: Domeika, Max.

Programmation des réseaux sous UNIX Avec exemples en langage C
著者:: Obaid, Abdel (1954-....).

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