Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Automated Database Applications Testing: Specification Representation For Automated Reasoning

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Automated Database Applications Testing: Specification Representation For Automated Reasoning Rana Farid Mikhail
Libristo kod: 05069407
Nakladnici World Scientific Publishing Co Pte Ltd, siječanj 2010
This book introduces SpecDB, an intelligent database created to represent and host software specific... Cijeli opis
? points 242 b
100.04 €
Vanjske zalihe Šaljemo za 10-13 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Bouts de chemins vers l'eternite... Hugues de Jubécourt / Knjiga Meki uvez
common.buy 9.10 €
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 / Knjiga Meki uvez
common.buy 14.98 €
Pripremamo
Tote gehen nicht den Eifelsteig Carola Clasen / Knjiga Meki uvez
common.buy 11.84 €
Primal Hunter - Tome 3 Zogarth / Knjiga Meki uvez
common.buy 22.98 €
Su mirada MARIA DE LA PAZ / Knjiga Meki uvez
common.buy 12.85 €
Alfabeto Geologico Gal Yasur / Knjiga Meki uvez
common.buy 11.74 €
Basaltsaulen Andrea Walentowicz / Knjiga Meki uvez
common.buy 5.66 €
Meine Novelle oder Wechselfälle des englischen Lebens von Pisistratus Caxton Edward Bulwer / Knjiga Meki uvez
common.buy 20.65 €
Les Songes Des Hommes Esveillez Brosse / Knjiga Meki uvez
common.buy 24.19 €
Die Hochzeit des Figaro, KV 492, Klavierauszug Wolfgang Amadeus Mozart / Tiskanica Note
common.buy 41.10 €
Un gran llibre de jocs vermell DESCONOCIDO / Knjiga Meki uvez
common.buy 14.67 €
Emotionen im Fremdsprachenunterricht. Zum Zusammenhang zwischen Angst und Motivation Yeliz Öcal / Knjiga Meki uvez
common.buy 16.19 €
Über Francis Bacon von Verulam und die Methode der Naturforschung Justus von Liebig / Knjiga Meki uvez
common.buy 8.19 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Automated Database Applications Testing: Specification Representation For Automated Reasoning
Autor Rana Farid Mikhail, Donald Berndt, Abraham Kandel
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 2010
Broj stranica 212
EAN 9789812837288
ISBN 9812837280
Libristo kod 05069407
Nakladnici World Scientific Publishing Co Pte Ltd
Težina 506
Dimenzije 160 x 237 x 19

Kategorija

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Databases > Database design & theory
Computing & Information Technology > Computer science > Artificial intelligence
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

The Rhetoric of Channeled Texts Hollie Petit / Knjiga Meki uvez
common.buy 65.41 €
Spitfire II/V vs Bf 109F Tony Holmes / Knjiga Meki uvez
common.buy 19.33 €
Model Minority Stereotype Reader Nicholas D. Hartlep / Knjiga Meki uvez
common.buy 202.51 €
MIMO OFDM Radar-Communication System with Mutual Interference Cancellation Yoke Leen Sit / Knjiga Meki uvez
common.buy 41.10 €
A Menu of Death Lucy Pireel / Knjiga Meki uvez
common.buy 7.69 €
Five Years' Church Work in the Kingdom of Hawaii. Thomas Nettleship Staley / Knjiga Meki uvez
common.buy 17.81 €
Oxford Solid State Basics Steven H Simon / Knjiga Meki uvez
common.buy 56.90 €
Creative Economies in Peripheral Regions Patrick Collins / Knjiga Meki uvez
common.buy 127.68 €
Dynamos and Dynamo Design; Direct Current Motors; Alternating Currents; Alternators; Alternating-Current Apparatus Anonymous / Knjiga Meki uvez
common.buy 30.77 €
Handbook of Analysis and Extraction Methods of Anthocyanins Semih Otles / Knjiga Tvrdi uvez
common.buy 245.65 €
Death at the Sanatorium JONASSON RAGNAR / Knjiga Meki uvez
common.buy 15.08 €
Knock at the Cabin / Video DVD
common.buy 9.41 €
Alexander Ovechkin / Knjiga Tvrdi uvez
common.buy 28.34 €
Cinema after Fascism Siobhan S. Craig / Knjiga Tvrdi uvez
common.buy 55.89 €
Three Genres and the Interpretation of Lyric William Elford Rogers / Knjiga Tvrdi uvez
common.buy 110.57 €
Jews and Christians: Volume 6 Molly Whittaker / Knjiga Meki uvez
common.buy 54.06 €
Fall of Rome Bryan Ward-Perkins / Knjiga Meki uvez
common.buy 16.60 €
Small Museum Toolkit Cinnamon Catlin-Legutko / Knjiga Meki uvez
common.buy 265.30 €
Nahum--Malachi Elizabeth Achtemeier / Knjiga Meki uvez
common.buy 24.60 €
Ballad of Peckham Rye Muriel Spark / Knjiga Meki uvez
common.buy 12.45 €
Particulate Science and Technology John K. Beddow / Knjiga Tvrdi uvez
common.buy 152.90 €
Boxing R Michael Onello / Knjiga Meki uvez
common.buy 19.13 €
African Slave Trade Basil Davidson / Knjiga Meki uvez
common.buy 30.77 €
Maker Pro John Baichtal / Knjiga Meki uvez
common.buy 18.62 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?