Gratis verzending vanaf 59,99 euro.
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen.
Gratis account aanmaken
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 €
DHL koeriersdienst 5.49 €
GLS koerier 4.99 €
DPD-punt 3.99 €
Contact
Hoe winkelen bij ons werkt
Help
Bezorging
DPD koerier 5.49 €
DHL koeriersdienst 5.49 €
GLS koerier 4.99 €
DPD-punt 3.99 €
Gratis bezorging met Zásilkovna boven 59.99 €
Winkelgids
Mijn account
▸
Leeg :-(
0
Gratis verzending vanaf 59,99 euro.
ModelEd, TestEd, TrustEd
Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Taal
Engels
Engels
E-book
Adobe ePub DRM
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birt...
Volledige beschrijving
Libristo-code: 41043390
?
145 b
145 b
60.14
€
Op voorraad
Onmiddellijk te downloaden
Klanten kochten ook
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.
Actrice
&
Polyglot
EWA KASP
voor
Video afspelen
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.
Informatie over het boek
Volledige naam
ModelEd, TestEd, TrustEd
Auteur
Joost-Pieter Katoen, Rom Langerak, Arend Rensink
Taal
Engels
Engels
Bindwijze
E-book - Adobe ePub DRM
Datum van uitgifte
2017
EAN
9783319682709
Libristo-code
41043390
Uitgeverij
Springer
Categorieën
Informatica en informatietechnologie
>
Grafische en digitale media-applicaties
>
3D graphics en modellering
Informatica en informatietechnologie
>
Computerprogrammering / softwareontwikkeling
>
Algoritmes en datastructuren
Informatica en informatietechnologie
>
Computerprogrammering / softwareontwikkeling
>
Programmeren en scripttalen: algemeen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger
Boekadviseur Libroamiko
Door deze chat te gebruiken, communiceer je met generatieve kunstmatige intelligentie. Door het te gebruiken, ga je ook akkoord met de verwerking van persoonsgegevens.
Hoi! Ik ben Libroamiko, je boekadviseur.
Hoe kan ik je helpen?
Hoi, ik ben Libroamiko, kan ik helpen?