Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

ModelEd, TestEd, TrustEd

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha ModelEd, TestEd, TrustEd Joost-Pieter Katoen
Libristo kód: 18125020
Nakladatelství Springer International Publishing AG, září 2017
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birt... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Rahel Varnhagen und die Romantik Emma Graf / Kniha Brožovaná
common.buy 469 Kč
SIKU Military Bitevní vrtulník Hra/Hračka Hračka
common.buy 129 Kč
Aproximaciones numéricas y algorítmicas a las integrales solubles / Kniha Brožovaná
common.buy 1 863 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název ModelEd, TestEd, TrustEd
Autor Joost-Pieter Katoen, Rom Langerak, Arend Rensink
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2017
Počet stran 391
EAN 9783319682693
ISBN 3319682695
Libristo kód 18125020
Nakladatelství Springer International Publishing AG
Váha 6088
Rozměry 155 x 235 x 24

Kategorie

Výpočetní a informační technologie > Grafické a digitální mediální aplikace > Počítačová 3D grafika a modelování
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Biomimetics for Architecture & Design Werner Nachtigall / Kniha Brožovaná
common.buy 2 762 Kč
Japanese-American Civilian Prisoner Exchanges and Detention Camps, 1941-45 Bruce Elleman / Kniha Brožovaná
common.buy 564 Kč
Possession of Sarah Winchester Jim Duggins / Kniha Pevná
common.buy 697 Kč
Inclusive Pedagogy in the Early Years Jones / Kniha Pevná
common.buy 4 356 Kč
Silent Moon Geoffrey Stewart / Kniha Brožovaná
common.buy 264 Kč
The Magic of Surrender: Finding the Courage to Let Go Blackson / Kniha Brožovaná
common.buy 328 Kč
Hunger Moon Marge Piercy / E-kniha Adobe ePub DRM
common.buy 245 Kč
The Technique and art of Organ Playing Clarence Dickinson / Kniha Brožovaná
common.buy 532 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?