Lecture Notes in Computer Science 10817 - Abstract State Machines, Alloy, B, TLA, VDM, and Z Ebook Tooltip 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Uitgever: Springer
Taal: Engels

Afbeeldingen

Artikel vergelijken

Bekijk nu
  • Engels
  • E-book
  • 9783319912714
  • 14 mei 2018
  • Adobe ePub
Alle productspecificaties
  • Je leest ebooks gemakkelijk op je Kobo e-reader, of op je smartphone of tablet met de bol.com Kobo app. Let op! Ebooks kunnen niet geannuleerd of geretourneerd worden.

Samenvatting

This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018.

The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.

Productspecificaties

Inhoud

Taal
en
Bindwijze
E-book
Oorspronkelijke releasedatum
14 mei 2018
Ebook Formaat
Adobe ePub

Betrokkenen

Hoofdredacteur
Michael Butler
Tweede Redacteur
Alexander Raschke
Co Redacteur
Klaus Reichl
Hoofduitgeverij
Springer

Lees mogelijkheden

Lees dit ebook op
Android (smartphone en tablet) | Kobo e-reader | Desktop (Mac en Windows) | iOS (smartphone en tablet) | Windows (smartphone en tablet)

Overige kenmerken

Studieboek
Ja

EAN

EAN
9783319912714

Je vindt dit artikel in

Categorieën
Taal
Engels
Boek, ebook of luisterboek?
Ebook
Beschikbaarheid
Leverbaar
Studieboek of algemeen
Studieboeken

Reviews
Nog geen reviews
Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.

Kies gewenste uitvoering

Bindwijze : E-book

Prijsinformatie en bestellen

De prijs van dit product is 49 euro en 99 cent.
Direct beschikbaar
Verkoop door bol
Ebook
  • E-book is direct beschikbaar na aankoop
  • E-books lezen is voordelig
  • Dag en nacht klantenservice
  • Veilig betalen
Houd er rekening mee dat je downloadartikelen niet kunt annuleren of retourneren. Bij nog niet verschenen producten kun je tot de verschijningsdatum annuleren.
Zie ook de retourvoorwaarden

Anderen bekeken ook

Bekijk de hele lijst