Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

ModelEd, TestEd, TrustEd

Joost-Pieter Katoen

Rom Langerak

Arend Rensink

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 18125020

Založba Springer International Publishing AG, september 2017

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birt... Celoten opis

Koda Libristo: 18125020

118 b

48.74 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Rahel Varnhagen und die Romantik Emma Graf

Mehka

19.37 €

SIKU Military Bitevní vrtulník Igra/Igrača

Igrača

5.34 €

Aproximaciones numéricas y algorítmicas a las integrales solubles

Mehka

76.80 €

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.