Kategorien
Konto
Anmelden / Registrieren
Warenkorb
 
 

Leveraging Applications of Formal Methods, Verification, and Validation


Menge:  Stück  
Produktinformationen
cover
cover
Artikel-Nr.:
     5667A-9783319516400
Hersteller:
     Springer Verlag
Herst.-Nr.:
     9783319516400
EAN/GTIN:
     9783319516400
Suchbegriffe:
Allgemeine Informatikbücher
Bücher für Datenbanken - englischsp...
Datenbanken (Fachbücher)
Datenbankenbücher
The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the post-conference proceedings of the 2014 Doctoral Symposium and the 2014 Tutorial "Automata Learning in Practice" with the post-conference publication of selected contributions from the Tracks "Process-Oriented Geoinformation Systems and Applications" and "Processes and Data Integration in the Networked Healthcare" of ISoLA 2012.
Weitere Informationen:
Author:
Anna-Lena Lamprecht
Verlag:
Springer International Publishing
Sprache:
eng
Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, automata learning, business process, Business Process Management (BPM), data integration, Domain Specific Languages (DSLs), formal methods, geovisualization, healthcare, model checking, model-driven software development, project management
Die Konditionen im Überblick1
Lieferzeit
Lagerstand
Preis
€ 49,99*
Konditionen selbst auswählen
Artikel empfehlenArtikel merken
* Preise mit Sternchen sind Nettopreise zzgl. gesetzlich gültiger MwSt.
UVP bedeutet „Unverbindliche Preisempfehlung“
Unser Angebot richtet sich ausschließlich an Unternehmen, Gewerbetreibende und Freiberufler.