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-
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:	Accès à l'E-book
Lien:	Autre support: Modélisation et spécification formelle des logiciels

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)

Implementing domain-specific languages with Xtext and Xtend : learn how to implement a DSL with Xtext and Xtend using easy-to-understand examples and best practices
par: Bettini, Lorenzo, 19.
Publié: (2013)

OpenCV for secret agents : use OpenCV in six secret projects to augment your home, car, phone, eyesight, and any photo or drawing
par: Howse, Joseph.
Publié: (2015)

Mastering GitLab 12 : implement DevOps culture and repository management solutions
par: Evertse, Joost.
Publié: (2019)

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

Building modern serverless web APIs : Develop Microservices and Implement Serverless : Applications with .NET Core 3.1 and AWS lambda
par: Sarkar, Tanmoy, 19..-
Publié: (2021)

Applied statistics for environmental science with R
par: Alkarkhi, Abbas F.M.
Publié: (2019)

Blender 3D cookbook : build your very own stunning characters in Blender from scratch
par: Valenza, Enrico.
Publié: (2015)

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

Modern regression techniques using R : a practical guide for students and researchers
par: Wright, Daniel B.
Publié: (2012)

Cacti 0.8 network monitoring : monitor your network with ease!
par: Kundu, Dinangkur.
Publié: (2009)

Scratch 2.0 beginner's guide
par: Badger, Michael.
Publié: (2014)

OpenGL 4 shading language cookbook : over 70 recipes demonstrating simple and advanced techniques fot producing high-qualitu, real-time 3D graphics using OpenGL and GLSL 4.x
par: Wolff, David.
Publié: (2013)

OpenGL 4.0 shading language cookbook : over 60 highly focused, practical recipes to maximize your use of the OpenGL shading language
par: Wolff, David.
Publié: (2011)

Computational Finance
par: Levy, George.
Publié: (2004)

OpenSceneGraph 3.0 : beginner's guide : create high-performance virtual reality applications with OpenSceneGraph, one of the best 3D graphics engines
par: Wang, Rui, 19..-
Publié: (2010)

ElasticSearch cookbook : over 120 advanced recipes to search, analyze, deploy, manage, and monitor data effectively with ElasticSearch
par: Paro, Alberto.
Publié: (2013)

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

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

Les logiciels libres : cadre juridique et licences associées
par: Cohen, Véronique-Déborah, 1976-
Publié: (2014)

SQL Injection Attacks and Defense
par: Clarke, Justin.

Gephi cookbook : over 90 hands-on recipes to master the art of network analysis and visualization with Gephi
par: Khokhar, Devangana.
Publié: (2015)

Yocto for Raspberry Pi : create unique and amazing projects by using the powerful combination of Yocto and Raspberry Pi
par: Texier, Pierre-Jean.
Publié: (2016)

Android application programming with OpenCV : build Android apps to capture, manipulate, and track objects in 2D and 3D
par: Howse, Joseph.
Publié: (2013)

The Art of Agent-Oriented Modeling
par: Sterling, Leon.
Publié: (2009)

Ogre 3D 1.7 beginner's guide : create real-time 3D applications using Ogre 3D from scratch
par: Kerger, Felix.
Publié: (2010)

Learning C? by developing games with Unity 5.x : develop your first interactive 2D platformer game by learning the fundamentals of C?
par: Lukosek, Greg.
Publié: (2016)

MATLAB® : a practical introduction to programming and problem solving
par: Attaway, Stormy.
Publié: (2018)

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

Mathematics for Neuroscientists
par: Gabbiani, Fabrizio, 1964-

OpenCL programming by example : a comprehensive guide on OpenCL programming with examples
par: Banger, Ravishekhar.
Publié: (2013)

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

Mastering OpenStack : design, deploy, and manage a scalable OpenStack infrastructure
par: Khedher, Omar.
Publié: (2015)

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

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

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

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