Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

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

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer
SKU: 41008427
Price: 80.61 EUR
Availability: InStock
Author: Javier Camara
ISBN: 9783030575069

SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers

Javier Camara

Martin Steffen

Taal

Engels

E-book Adobe ePub DRM

Libristo-code: 41008427

Uitgeverij Springer, september 2020

The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated wit... Volledige beschrijving

Libristo-code: 41008427

195 b

80.61 €

Op voorraad Onmiddellijk te downloaden

The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. The 13 full papers presented together with 7 short papers in this volume were carefully reviewed and selected from a total of 45 submissions. They stem from the following workshops:CoSim-CPS 2019 - 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems; ASYDE 2019 -- 1st International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and FOCLASA 2019 -- 17th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems

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 Software Engineering and Formal Methods

Auteur Javier Camara, Martin Steffen

Taal

Engels

Bindwijze E-book - Adobe ePub DRM

Datum van uitgifte 2020

EAN 9783030575069

Libristo-code 41008427

Uitgeverij Springer

Categorieën

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Natuurlijke taal en computervertaling

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling

Informatica en informatietechnologie > Databanken > Informatieopslag en -naslag

Informatica en informatietechnologie > Informatica > Systeemanalyse en systeemontwerp

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