MENU
Książki po angielsku
  1. Strona główna
  2. Książki
  3. Książki obcojęzyczne
  4. Książki obcojęzyczne - nauki społeczne
  5. Formal Semantics and Verification Of Use Case Maps

Formal Semantics and Verification Of Use Case Maps

(Książka)
0.00  [ 0 ocen ]
 Dodaj recenzję
Rozwiń szczegóły »
Cena katalogowa: 702,99 zł
Najniższa cena z 30 dni: 702,99 zł
Cena produktu

Cena katalogowa – rynkowa cena produktu, często jest drukowana przez wydawcę na książce.

Najniższa cena z 30 dni – najniższa cena sprzedaży produktu w księgarni z ostatnich 30 dni, obowiązująca przed zmianą ceny.

Wszystkie ceny, łącznie z ceną sprzedaży, zawierają podatek VAT.

632,69
zł
Dodaj do schowka
Dostępność: 3-5 dni
Towar na zamówienie
Dostawa i płatność
Termin wysyłki
- Zamów z DPD (kurier lub punkty) do 19:30, a Twoją paczkę wysyłamy jeszcze dziś i dostarczymy jutro!
- Dotyczy dni roboczych (poniedziałek-piątek, z bez dni wolnych od pracy) oraz towarów dostępnych w magazynie.
- Pozostałe zamówienia realizujemy w terminie deklarowanym na stronie produktu.
- Czas oczekiwania na zamówienie = wysyłka + dostawa przez przewoźnika.
Dostawa i płatność
- Paczki dostarczamy wyłącznie na terenie Polski; od 299 zł dostawa GRATIS!
- Dla zamówień o wartości powyżej 500 zł wyłącznie płatność elektroniczna.


Przedpłata (Przelewy24)
do 299 zł
od 299 zł
Dostawa 
- Kurier DPD
12,49 zł
0 zł
1 dzień
- Odbiór w punktach DPD
10,99 zł
0 zł
1 dzień
- InPost Paczkomaty 24/7
13,99 zł
0 zł
1 dzień
- ORLEN Paczka
9,99 zł
0 zł
1 dzień
- Odbiór w Punktach Poczta, Żabka
10,99 zł
0 zł
2 dni
- Pocztex
11,99 zł
0 zł
2 dni
- Odbiór w księgarni PWN
0 zł
0 zł
2-3 dni

Pobranie
do 299 zł
od 299 zł
Dostawa 
- Kurier DPD
16,49 zł
0 zł
1 dzień
- Odbiór w Punktach Poczta, Żabka
14,99 zł
0 zł
1-2 dni
- Pocztex
15,99 zł
0 zł
2 dni

Formal Semantics and Verification Of Use Case Maps

This book proposes a novel methodology combining the semi-formal scenario-based Use Case Maps (UCM) language with formal techniques to help comprehend, validate and verify requirements. Use Case Maps (UCM), part of the ITU-T standard User Requirements Notation (URN) Z.151, allows for the description of functional requirements and high-level designs at early stages of the development process. The book proposes a rigorous formal semantics for Use Case Maps based on Abstract State Machines (ASM) formalism. The resulting semantics are expressed in AsmL, an advanced ASM-based executable specification language. Furthermore, the Use Case Maps language is extended to cover timing constraints. A potential timed version of UCM (called Timed UCM) is formalized using Clocked Transition Systems (CTS) and Timed Automata (TA). In addition, the book proposed a novel UCM-based property pattern system that combines qualitative, real-time and architectural properties into a single graphical representation. The resulting pattern system is mapped to popular temporal logics such as CTL, TCTL and ArTCTL (Architectural real-time temporal logic), which extends TCTL with architectural scopes.

  • Sposób dostarczenia produktu fizycznego
    Sposoby i terminy dostawy:
    • Odbiór osobisty w księgarni PWN - dostawa 2-3 dni robocze
    • Odbiór w InPost Paczkomaty 24/7 - dostawa 1 dzień roboczy
    • Kurier pocztowy (dostawa do domu lub pracy) - dostawa 2 dni robocze
    • Odbiór w Punktach Poczta, Żabka - dostawa 2 dni robocze
    • Punkty partnerskie ORLEN Paczka - dostawa 1-2 dni
    • Kurier (DPD) - dostawa 1 dzień roboczy
    Ważne informacje:
    Czas oczekiwania na zamówiony towar = czas wysyłki produktu + dostawa przez przewoźnika
    • Całkowity czas oczekiwania na realizację zamówienia jest sumą czasu wysyłki podanej na stronie każdego produktu oraz czasu potrzebnego przewoźnikowi na dostarczenie paczki. Podane terminy dotyczą zawsze dni roboczych (od poniedziałku do piątku, z wyłączeniem dni wolnych od pracy).
    • Wysyłkę zamówień prowadzimy jedynie na terenie Polski.
    • Dostawa do Księgarni PWN, punktów ORLEN Paczka, stacji Orlen, sklepów Żabka oraz Paczkomatów InPost nie jest realizowana dla zamówień z płatnością przy odbiorze.
    • Cena towaru na fakturze VAT jest podwyższona o ewentualny koszt transportu.
    • W przypadku zamówienia kilku towarów koszt przesyłki wybranej przez Klienta zostanie podzielony i przyporządkowany proporcjonalnie do cen kupionych produktów.
    • Produkty dostępne w PRZEDSPRZEDAŻY wysyłane są po dacie premiery wydawniczej.
NAZWA I FORMAT
OPIS
ROZMIAR

Przeczytaj fragment

Inni Klienci oglądali również

- 22 %
23,32 zł
29,90 zł
do koszyka

Strange Case of Dr. Jekyll and Mr. Hyde
Język angielski Poziom B2-C1 Lubisz czytać dobre powieści a jednocześnie chcesz doskonalić swój angielski? Mamy dla Ciebie idea...
47,98 zł
53,00 zł
do koszyka

Maps of Our Spectacular Bodies
Maps of Our Spectacular Bodies is a story of coming-of-age at the end of a life. Utterly heart-breaking yet darkly funny, Maddie Mortimer’s debut is a symphonic journey through one woman’s body: a celebration of desire, forgiveness, and the...
- 27 %
43,69 zł
59,85 zł
do koszyka

The Case of Crimea’s Annexation Under International Law
This book addresses issues connected with Russia’s 2014 annexation of Crimea that are both of key current relevance and crucial from the point of view of both international law and international relations. It not only offers a comprehensive elabo...
133,43 zł
148,25 zł
do koszyka

The Protection of Human Rights and Fundamental Freedoms in the Fight against Terrorism. The Case of the European Union after September 11, 2001
With the terrorist attacks of 9/11, the threat of international terrorism - a threat to peace and stability - became evident to the world.Even though this event was not directed against European Union member states, it triggered the expansion of common...
48,36 zł
53,73 zł
do koszyka

Case for a Creator Bible Study Guide Revised Edition | Softcover
In this revised six-session small group Bible study, you will follow bestselling author Lee Strobel as he discovers that science, far from being the enemy of faith, now provides a solid foundation for a belief in God.
60,24 zł
66,93 zł
do koszyka

The Strange Case of Dr. Jekyll and Mr. Hyde
Gabriel John Utterson is a London lawyer investigating the strange occurrences between his old friend, Dr. Henry Jekyll, and a sinister figure, Edward Hyde. After a number of incidences involving Hyde, Utterson begins to fear that he is blackmailing hi...
113,87 zł
126,52 zł
do koszyka

Proof-theoretic Semantics
This book is a monograph on the topic of Proof-Theoretic Semantics, a theory of meaning constituting an alternative to the more traditional Model-Theoretic Semantics. The latter regards meaning as truth-conditions (in arbitrary models), the former rega...
46,20 zł
51,33 zł
do koszyka

A real case against the jews
One of them points out the full depth of their guilt. Written by a Jewish author and originally published in The Century Magazine in January 1928. Volume 115 - Number 3 pages 346-350. This article asserts that if Whites understood the dept...
74,45 zł
82,72 zł
do koszyka

Case Interview for Engineers
PRAISE FOR CASE INTERVIEW FOR ENGINEERS: "This book will help you develop the behaviours and the way of looking the World that make you a Consultant and get a job in a Consulting Firm" - Luiz Zorzella, McKinsey & Company Alumni (Canada). "Josemaria is ...

Recenzje

Nikt nie dodał jeszcze recenzji. Bądź pierwszy!