. .
Deutsch
Deutschland
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
..?
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 59.00 EUR, größter Preis: 75.87 EUR, Mittelwert: 64.62 EUR
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: 9783841793249

[ED: Softcover], [PU: Editions Universitaires Europeennes], 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 S.Versandfertig in 3-5 Tagen, [SC: 0.00]

Neues Buch Booklooker.de
buecher.de GmbH & Co. KG
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Theorie de Test Des Programmes a Contraintes - Nadjib Lazaar
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

Nadjib Lazaar:

Theorie de Test Des Programmes a Contraintes - neues Buch

ISBN: 9783841793249

Nadjib Lazaar,Paperback, French-language edition,Pub by AV Akademikerverlag GmbH & Co. KG. Books Books ~~ Computers~~ General Theorie-de-Test-Des-Programmes-a-Contraintes~~Nadjib-Lazaar AV Akademikerverlag GmbH & Co. KG.

Neues Buch [USA] Barnesandnoble.com
Free Shipping on eligible orders over $25 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
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

Gebundene Ausgabe, ID: 11909385

Méthodologie et outil de test, de localisation des fautes et de correction automatique des programmes à contraintes - Buch, gebundene Ausgabe, 172 S., Beilagen: Paperback, Erschienen: 2012 Editions universitaires europeennes EUE

Neues Buch DE Buch24.de
Versandkosten:Versandkostenfrei innerhalb der BRD, zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
Théorie de Test des programmes à contraintes
Autor:

Lazaar, Nadjib

Titel:

Théorie de Test des programmes à contraintes

ISBN-Nummer:

384179324X

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


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

Buch in der Datenbank seit 15.02.2008 10:08:39
Buch zuletzt gefunden am 10.10.2014 11:44:07
ISBN/EAN: 384179324X

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

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher