Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Automated Database Applications Testing: Specification Representation For Automated Reasoning

Sprache EnglischEnglisch
Buch Hardcover
Buch Automated Database Applications Testing: Specification Representation For Automated Reasoning Rana Farid Mikhail
Libristo-Code: 05069407
Verlag World Scientific Publishing Co Pte Ltd, Jänner 2010
This book introduces SpecDB, an intelligent database created to represent and host software specific... Vollständige Beschreibung
? points 253 b
103.19 € inkl. MwSt.
Externes Lager Wir versenden in 10-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Bouts de chemins vers l'eternite... Hugues de Jubécourt / Buch Broschur
common.buy 9.59 €
Amor Y Cordura (El Día Que Se Perdió La Cordura / El Día Que Se Perdió El Amor) / Love and Sanity (the Day Sanity Was Lost, the Day Love Was Lost) Castillo / Buch Broschur
common.buy 14.79 €
Demnächst
Tote gehen nicht den Eifelsteig Carola Clasen / Buch Broschur
common.buy 13.00 €
Primal Hunter - Tome 3 Zogarth / Buch Broschur
common.buy 24.79 €
Su mirada MARIA DE LA PAZ / Buch Broschur
common.buy 13.79 €
Alfabeto Geologico Gal Yasur / Buch Broschur
common.buy 12.19 €
Basaltsaulen Andrea Walentowicz / Buch Broschur
common.buy 5.89 €
Meine Novelle oder Wechselfälle des englischen Lebens von Pisistratus Caxton Edward Bulwer / Buch Broschur
common.buy 22.79 €
Les Songes Des Hommes Esveillez Brosse / Buch Broschur
common.buy 26.09 €
Die Hochzeit des Figaro, KV 492, Klavierauszug Wolfgang Amadeus Mozart / Drucksachen Noten
common.buy 45.95 €
Un gran llibre de jocs vermell DESCONOCIDO / Buch Broschur
common.buy 15.89 €
Emotionen im Fremdsprachenunterricht. Zum Zusammenhang zwischen Angst und Motivation Yeliz Öcal / Buch Broschur
common.buy 17.95 €
Über Francis Bacon von Verulam und die Methode der Naturforschung Justus von Liebig / Buch Broschur
common.buy 8.90 €

This book introduces SpecDB, an intelligent database created to represent and host software specifications in a machine-readable format, based on the principles of artificial intelligence and unit testing database operations. SpecDB is demonstrated via two automated intelligent tools. The first automatically generates database constraints from a rule-base in SpecDB. The second is a reverse engineering tool that logs the actual execution of the program from the code.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Automated Database Applications Testing: Specification Representation For Automated Reasoning
Autor Rana Farid Mikhail, Donald Berndt, Abraham Kandel
Sprache Englisch
Einband Buch - Hardcover
Datum der Veröffentlichung 2010
Anzahl der Seiten 212
EAN 9789812837288
ISBN 9812837280
Libristo-Code 05069407
Verlag World Scientific Publishing Co Pte Ltd
Gewicht 506
Abmessungen 160 x 237 x 19

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Datenbanken > Datenbankdesign und -theorie
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

The Rhetoric of Channeled Texts Hollie Petit / Buch Broschur
common.buy 71.69 €
Spitfire II/V vs Bf 109F Tony Holmes / Buch Broschur
common.buy 20.19 €
Model Minority Stereotype Reader Nicholas D. Hartlep / Buch Broschur
common.buy 209.49 €
MIMO OFDM Radar-Communication System with Mutual Interference Cancellation Yoke Leen Sit / Buch Broschur
common.buy 42.99 €
A Menu of Death Lucy Pireel / Buch Broschur
common.buy 7.99 €
Five Years' Church Work in the Kingdom of Hawaii. Thomas Nettleship Staley / Buch Broschur
common.buy 18.69 €
Oxford Solid State Basics Steven H Simon / Buch Broschur
common.buy 49.29 €
Creative Economies in Peripheral Regions Patrick Collins / Buch Broschur
common.buy 132.69 €
Dynamos and Dynamo Design; Direct Current Motors; Alternating Currents; Alternators; Alternating-Current Apparatus Anonymous / Buch Broschur
common.buy 31.79 €
Handbook of Analysis and Extraction Methods of Anthocyanins Semih Otles / Buch Hardcover
common.buy 253.39 €
Death at the Sanatorium JONASSON RAGNAR / Buch Broschur
common.buy 15.79 €
Knock at the Cabin / Video DVD
common.buy 9.79 €
Alexander Ovechkin / Buch Hardcover
common.buy 29.39 €
Cinema after Fascism Siobhan S. Craig / Buch Hardcover
common.buy 60.39 €
Three Genres and the Interpretation of Lyric William Elford Rogers / Buch Hardcover
common.buy 114.19 €
Jews and Christians: Volume 6 Molly Whittaker / Buch Broschur
common.buy 55.89 €
Fall of Rome Bryan Ward-Perkins / Buch Broschur
common.buy 19.69 €
Small Museum Toolkit Cinnamon Catlin-Legutko / Buch Broschur
common.buy 285.79 €
Nahum--Malachi Elizabeth Achtemeier / Buch Broschur
common.buy 25.79 €
Ballad of Peckham Rye Muriel Spark / Buch Broschur
common.buy 13.89 €
Particulate Science and Technology John K. Beddow / Buch Hardcover
common.buy 158.29 €
Boxing R Michael Onello / Buch Broschur
common.buy 19.89 €
African Slave Trade Basil Davidson / Buch Broschur
common.buy 31.79 €
Maker Pro John Baichtal / Buch Broschur
common.buy 19.39 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?