. .
Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 384179324X ankaufen:
Suchtools
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 54,54 €, größter Preis: 59,00 €, Mittelwert: 57,94 €
Théorie de Test des programmes à contraintes - Lazaar, Nadjib
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Lazaar, Nadjib:
Théorie de Test des programmes à contraintes - Taschenbuch

ISBN: 384179324X

ID: 20224154102

[EAN: 9783841793249], Neubuch, Publisher/Verlag: Éditions universitaires européennes | Méthodologie et outil de test, de localisation des fautes et de correction automatique des programmes à contraintes | Le développement des langages de modélisation des programmes à contraintes a eu un grand impact dans le monde industriel comme OPL de IBM Ilog, Comet de Dynadec, Sicstus Prolog ou Gecode qui proposent des solutions robustes aux problèmes du monde réel. De plus, ces langages commencent à être utilisés dans des applications critiques comme la gestion et le contrôle du trafic aérien, le e-commerce et le développement de programmes critiques. D'autre part, il est connu que tout processus de développement logiciel effectué dans un cadre industriel inclut impérativement une phase de test, de vérification formelle et/ou de validation. Par ailleurs, ces langages ne connaissent pas d'innovations majeures en termes de vérification et de mise au point. Ceci ouvre la voie à des recherches orientées vers les aspects génie logiciel dédiés à la PPC (programmation par contraintes). Le travail majeur de cette thèse pose les jalons d'une théorie du test des programmes à contraintes ainsi qu'un cadre conceptuel pour la mise-au-point de ce type de programmes avec une méthodologie de localisation et de correction automatique. | Format: Paperback | Language/Sprache: fre | 172 pp

Neues Buch Abebooks.de
European-Media-Service Mannheim, Mannheim, Germany [1048135] [Rating: 5 (von 5)]
NEW BOOK Versandkosten:Versandkostenfrei (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Théorie de Test des programmes à contraintes - Nadjib Lazaar
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Nadjib Lazaar:
Théorie de Test des programmes à contraintes - Taschenbuch

ISBN: 9783841793249

[ED: Taschenbuch], [PU: Editions universitaires europeennes EUE], Neuware - Le développement des langages de modélisation des programmes à contraintes a eu un grand impact dans le monde industriel comme OPL de IBM Ilog, Comet de Dynadec, Sicstus Prolog ou Gecode qui proposent des solutions robustes aux problèmes du monde réel. De plus, ces langages commencent à être utilisés dans des applications critiques comme la gestion et le contrôle du trafic aérien, le e-commerce et le développement de programmes critiques. D'autre part, il est connu que tout processus de développement logiciel effectué dans un cadre industriel inclut impérativement une phase de test, de vérification formelle et/ou de validation. Par ailleurs, ces langages ne connaissent pas d'innovations majeures en termes de vérification et de mise au point. Ceci ouvre la voie à des recherches orientées vers les aspects génie logiciel dédiés à la PPC (programmation par contraintes). Le travail majeur de cette thèse pose les jalons d'une théorie du test des programmes à contraintes ainsi qu'un cadre conceptuel pour la mise-au-point de ce type de programmes avec une méthodologie de localisation et de correction automatique., [SC: 0.00], Neuware, gewerbliches Angebot, 220x150x10 mm, [GW: 272g]

Neues Buch Booklooker.de
Mein Buchshop
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Théorie de Test des programmes à contraintes - Nadjib Lazaar
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Nadjib Lazaar:
Théorie de Test des programmes à contraintes - Taschenbuch

ISBN: 9783841793249

[ED: Taschenbuch], [PU: Editions universitaires europeennes EUE], Neuware - Le développement des langages de modélisation des programmes à contraintes a eu un grand impact dans le monde industriel comme OPL de IBM Ilog, Comet de Dynadec, Sicstus Prolog ou Gecode qui proposent des solutions robustes aux problèmes du monde réel. De plus, ces langages commencent à être utilisés dans des applications critiques comme la gestion et le contrôle du trafic aérien, le e-commerce et le développement de programmes critiques. D'autre part, il est connu que tout processus de développement logiciel effectué dans un cadre industriel inclut impérativement une phase de test, de vérification formelle et/ou de validation. Par ailleurs, ces langages ne connaissent pas d'innovations majeures en termes de vérification et de mise au point. Ceci ouvre la voie à des recherches orientées vers les aspects génie logiciel dédiés à la PPC (programmation par contraintes). Le travail majeur de cette thèse pose les jalons d'une théorie du test des programmes à contraintes ainsi qu'un cadre conceptuel pour la mise-au-point de ce type de programmes avec une méthodologie de localisation et de correction automatique., [SC: 0.00], Neuware, gewerbliches Angebot, 220x150x10 mm, [GW: 272g]

Neues Buch Booklooker.de
Sellonnet GmbH
Versandkosten:Sans frais d'envoi (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Théorie de Test des programmes à contraintes - Nadjib Lazaar
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Nadjib Lazaar:
Théorie de Test des programmes à contraintes - Taschenbuch

2012, ISBN: 384179324X

ID: 20220256411

[EAN: 9783841793249], Neubuch, [PU: Editions Universitaires Europeennes EUE Mrz 2012], Neuware - Le développement des langages de modélisation des programmes à contraintes a eu un grand impact dans le monde industriel comme OPL de IBM Ilog, Comet de Dynadec, Sicstus Prolog ou Gecode qui proposent des solutions robustes aux problèmes du monde réel. De plus, ces langages commencent à être utilisés dans des applications critiques comme la gestion et le contrôle du trafic aérien, le e-commerce et le développement de programmes critiques. D'autre part, il est connu que tout processus de développement logiciel effectué dans un cadre industriel inclut impérativement une phase de test, de vérification formelle et/ou de validation. Par ailleurs, ces langages ne connaissent pas d'innovations majeures en termes de vérification et de mise au point. Ceci ouvre la voie à des recherches orientées vers les aspects génie logiciel dédiés à la PPC (programmation par contraintes). Le travail majeur de cette thèse pose les jalons d'une théorie du test des programmes à contraintes ainsi qu'un cadre conceptuel pour la mise-au-point de ce type de programmes avec une méthodologie de localisation et de correction automatique. 172 pp. Französisch

Neues Buch Abebooks.de
Agrios-Buch, Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)]
NEW BOOK Versandkosten:Versandkostenfrei (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Théorie de Test des programmes à contraintes - Nadjib Lazaar
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Nadjib Lazaar:
Théorie de Test des programmes à contraintes - neues Buch

ISBN: 9783841793249

ID: 7d3feeb8e3991354a0ab05dac7da22a7

Bücher / Naturwissenschaften, Medizin, Informatik & Technik / Informatik & EDV

Neues Buch Dodax.de
Nr. 57d2bdf93b206208fc6abdac Versandkosten:Versandkosten: 0.0 EUR, Lieferzeit: 7 Tage, DE. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch

Detailangaben zum Buch - Théorie de Test des programmes à contraintes


EAN (ISBN-13): 9783841793249
ISBN (ISBN-10): 384179324X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2012
Herausgeber: AV Akademikerverlag GmbH & Co. KG.

Buch in der Datenbank seit 15.02.2008 10:08:39
Buch zuletzt gefunden am 30.04.2017 16:21:53
ISBN/EAN: 384179324X

ISBN - alternative Schreibweisen:
3-8417-9324-X, 978-3-8417-9324-9


< zum Archiv...
Benachbarte Bücher