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 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers Nils Przigoda
Libristo kod: 21163586
Nakladnici Springer International Publishing AG, lipanj 2019
This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic vali... Cijeli opis
? points 373 b
154.71 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Carneval in Venedig, Italien (Puzzle) Rainer Grosskopf / Igra/Igračka Igra
common.buy 32.54 €
Polska na przestrzeni wieków Samsonowicz Henryk / Knjiga Meki uvez
common.buy 40.34 €
Datenbanksysteme und bioinformatische Werkzeuge zur Optimierung biotechnologischer Prozesse mit Pilzen Rainer Krull / Knjiga Meki uvez
common.buy 33.95 €
città bianca. L'artbook del Regno Nascosto di Tolkien Cristiano Marchesi / Knjiga Leporelo
common.buy 80.80 €
Methoden und strukturierte Ansätze für den Innovationsprozess Stefan Garding / Knjiga Meki uvez
common.buy 17.12 €
THE RISING OF THE HERO SHIELD 16 KYU / Knjiga Meki uvez
common.buy 10.94 €
Teatro. Promoción RESAD. 2019 LAURA J. GARCIA / Audio Audio CD
common.buy 14.08 €
Le Monde Du Theatre- Edition 2011 Nicole Leclercq / Knjiga Meki uvez
common.buy 67.72 €
Deux et deux font cinq oeuvres anthumes Alphonse Allais / Knjiga Meki uvez
common.buy 16.21 €
Autodesk Inventor 2013 - Einsteiger-Tutorial Christian Schlieder / Knjiga Meki uvez
common.buy 25.24 €

This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow.

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 Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Autor Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2019
Broj stranica 255
EAN 9783319892146
Libristo kod 21163586
Nakladnici Springer International Publishing AG
Težina 415
Dimenzije 155 x 235 x 15

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Epidemiological Study on Type 2 Diabetes Chandrasekhar Rao Pakala / Knjiga Meki uvez
common.buy 71.27 €
Human Resources Management in the Tourism Sector Bruno Sousa / Knjiga Tvrdi uvez
common.buy 301.42 €
Roasting in Hell's Kitchen: Temper Tantrums, F Words, and the Pursuit of Perfection Gordon Ramsay / Knjiga Meki uvez
common.buy 13.47 €
Reading Isabel Allende Using Homi K. Bhabha ?s Theories Golnaz Karimi / Knjiga Meki uvez
common.buy 49.06 €
My Dragon Boat Festival Li Li / Knjiga Tvrdi uvez
common.buy 15.81 €
Choose Cthulhu:The Arkham madhouse Riker / Knjiga Tvrdi uvez
common.buy 23.82 €
Oceans Rise Empires Fall Why Geopolitics Hastens Climate Catastrophe (Hardback) Toal / Knjiga Tvrdi uvez
common.buy 26.96 €
Monkey Brain Robert Mayer / Knjiga Meki uvez
common.buy 19.46 €
Yoga Therapy for the Management of Tourette's Syndrome Jennifer L Heard / Knjiga Meki uvez
common.buy 27.47 €
Back Steve Hussy / Knjiga Meki uvez
common.buy 10.43 €
I Wish I Had An Uncle Dick Jacqueline W Wilson / Knjiga Tvrdi uvez
common.buy 32.64 €
More or Less Stephen W Redding / Knjiga Meki uvez
common.buy 20.27 €
Love & Death In Kathmandu Amy Willesee / Knjiga Meki uvez
common.buy 27.36 €
The Traitor of Sherwood Forest Kaufman / Knjiga Meki uvez
common.buy 14.29 €

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