Cours et exercices d'algorithmique: V�rifier, tester et concevoir des programmes en les mod�lisant, Licence et master d'informatique

Julliand, Jacques

9782311000207: Cours et exercices d'algorithmique: V�rifier, tester et concevoir des programmes en les mod�lisant, Licence et master d'informatique

ISBN 10: 2311000209 ISBN 13: 9782311000207

Verlag: Vuibert, 2010

Ce manuel contient une introduction didactique des principes fondamentaux de la technique de v�rification. Il traite de mani�re tr�s p�dagogique des �l�ments de strat�gie pour v�rifier et pour concevoir des logiciels.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

�ber die Autorin bzw. den Autor

Jacques Julliand est enseignant-chercheur � l''universit� de Franche-Comt� (Laboratoire d'informatique). �labor�s pour les �tudiants de Licence et de Master d'informatique (sous l'intitul� Preuve et �valuation de programmes et Sp�cification, v�rification et test), les cours qui sont � l''origine de ce manuel ont �t� �galement diffus�s � distance.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag: Vuibert
Erscheinungsdatum: 2010
Sprache: Franz�sisch
ISBN 10: 2311000209
ISBN 13: 9782311000207
Einband: Libro
Auflage: 1
Anzahl der Seiten: 264
Kontakt zum Hersteller: Nicht verf�gbar
Verantwortliche Person: nosoli72
33155336069
sclient@chapitre.com

rue de bellevue
le plessis
Lamnay
france
72320
Frankreich