• Afhalen na 1 uur in een winkel met voorraad
  • Gratis thuislevering in België vanaf € 30
  • Ruim aanbod met 7 miljoen producten
  • Afhalen na 1 uur in een winkel met voorraad
  • Gratis thuislevering in België vanaf € 30
  • Ruim aanbod met 7 miljoen producten

Lezen

Leren

Geven

Beleven

Jonge gezinnen

Alle producten

E-books

Boekenbon

Promoties

Volg ons op

Wist je dat er in Vlaanderen voor iedereen een Standaard Boekhandel is binnen een straal van 7 km?

Zoek een winkel

  2. Boeken
  3. Non-fictie
  4. Informatica
  5. Programmeren
  6. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

6th International Symposium, Isola 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Paperback | Engels | Theoretical Computer Science and General Issues | nr. 8803
€ 52,95
+ 105 punten
Levertermijn 1 à 4 weken
Eenvoudig bestellen
Veilig betalen
Gratis thuislevering vanaf € 30 (via bpost)
Gratis levering in je Standaard Boekhandel

Omschrijving

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: evolving critical systems; rigorous engineering of autonomic ensembles; automata learning; formal methods and analysis in software product line engineering; model-based code generators and compilers; engineering virtualized systems; statistical model checking; risk-based testing; medical cyber-physical systems; scientific workflows; evaluation and reproducibility of program analysis; processes and data integration in the networked healthcare; semantic heterogeneity in the formal development of complex systems. In addition, part I contains a tutorial on automata learning in practice; as well as the preliminary manifesto to the LNCS Transactions on the Foundations for Mastering Change with several position papers. Part II contains information on the industrial track and the doctoral symposium and poster session.

Specificaties

Betrokkenen

Uitgeverij:
Springer

Inhoud

Aantal bladzijden:
644
Taal:
Engels
Reeks:
Theoretical Computer Science and General Issues
Reeksnummer:
nr. 8803

Eigenschappen

Productcode (EAN):
9783662452301
Verschijningsdatum:
7/10/2014
Uitvoering:
Paperback
Formaat:
Trade paperback (VS)
Afmetingen:
156 mm x 234 mm
Gewicht:
916 g
Standaard Boekhandel

Alleen bij Standaard Boekhandel

+ 105 punten op je klantenkaart van Standaard Boekhandel
AANGERADEN

Alles voor een vliegende start

op school en op kantoor
Naar onze tips
AANGERADEN
Tips voor een vliegende start
E-BOOK ACTIE

Tot meer dan 50% korting

op een selectie e-books
Pak nu je korting
E-BOOK ACTIE
E-book kortingen
Standaard Boekhandel

Beoordelingen

We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.

Uitgelichte categorieën

Geschiedenis

Strips, Comics & Graphic Novels

Mens & Maatschappij

Kookboeken

Hobby

Science fiction & Fantasy

Psychologie

Wetenschap

Kunst & Cultuur

Onderwijs & Pedagogie

Sport

Economie & Management

Zelfzorg, Gezin & Gezondheid

Reizen

Taal

Religie & Spiritualiteit