Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

ModelEd, TestEd, TrustEd

Język AngielskiAngielski
Książka Miękka
Książka ModelEd, TestEd, TrustEd Joost-Pieter Katoen
Kod Libristo: 18125020
Wydawnictwo Springer International Publishing AG, wrzesień 2017
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birt... Cały opis
? points 141 b
Gwarancja
najlepszej
ceny ▸
248.48 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Klienci kupili także

Rahel Varnhagen und die Romantik Emma Graf / Książka Miękka
common.buy 96.35 zł
SIKU Military Bitevní vrtulník Gra/Zabawka Zabawka
common.buy 23.75 zł
Aproximaciones numéricas y algorítmicas a las integrales solubles / Książka Miękka
common.buy 347.76 zł

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday. The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science. The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa ModelEd, TestEd, TrustEd
Autor Joost-Pieter Katoen, Rom Langerak, Arend Rensink
Język Angielski
Oprawa Książka - Miękka
Data wydania 2017
Liczba stron 391
EAN 9783319682693
ISBN 3319682695
Kod Libristo 18125020
Wydawnictwo Springer International Publishing AG
Waga 6088
Wymiary 155 x 235 x 24

Kategoria

Informatyka i technologie informacyjne (IT) > Aplikacje graficzne i dla nowych mediów > Grafika i modelowanie 3D
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Biomimetics for Architecture & Design Werner Nachtigall / Książka Miękka
common.buy 573.49 zł
Japanese-American Civilian Prisoner Exchanges and Detention Camps, 1941-45 Bruce Elleman / Książka Miękka
common.buy 103.70 zł
Possession of Sarah Winchester Jim Duggins / Książka Twarda
common.buy 128.46 zł
Inclusive Pedagogy in the Early Years Jones / Książka Twarda
common.buy 800.84 zł
The Zodiac, The Horoscope, The Astrology and The Signs: *according to Wikipedia Andres Velasquez / Książka Miękka
common.buy 120.51 zł
Silent Moon Geoffrey Stewart / Książka Miękka
common.buy 49.53 zł
The Magic of Surrender: Finding the Courage to Let Go Blackson / Książka Miękka
common.buy 65.74 zł
Hunger Moon Marge Piercy / E-book Adobe ePub DRM
common.buy 42.38 zł
The Technique and art of Organ Playing Clarence Dickinson / Książka Miękka
common.buy 98.26 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?