Willkommen, schön sind Sie da!

Mein Ex Libris
Jetzt anmelden
- Bitte melden Sie sich an, um das Produkt zu bewerten.
  
  Bitte melden Sie sich an, um das Produkt als hilfreich/nicht hilfreich zu bewerten.
  
  Bitte melden Sie sich an, um eine Bewertung als Missbrauch zu melden.
  
  Bitte melden Sie sich an, um Ihre Merkliste zu sehen.
  
  Bitte melden Sie sich an, um Produkte in Ihre Merkliste hinzuzufügen.
  
  Bitte melden Sie sich an, um eine Rückmeldung zu geben.
  
  Die eingegebene E-Mail Adresse und/oder das Passwort sind nicht korrekt.
  
  E-Mail-Adresse
  
  Passwort
  
  Passwort vergessen
  
  Angemeldet bleiben
  
  Jetzt Konto eröffnen
  
  Bitte geben Sie Ihre E-Mail-Adresse ein. Existiert zu dieser Adresse ein Ex Libris-Konto, wird Ihnen ein Link zugeschickt, um ein neues Passwort zu setzen.
  
  Der Link wurde an die angegebene Adresse verschickt, sofern ein zugehöriges Ex Libris-Konto vorhanden ist.
  
  E-Mail-Adresse
  
  Zur Anmeldung Jetzt Konto eröffnen
DE FR

-1
- Der Artikel wurde der Merkliste hinzugefügt.

0
- Sie haben bereits bei einem früheren Besuch Artikel in Ihren Warenkorb gelegt. Ihr Warenkorb wurde nun mit diesen Artikeln ergänzt.
  
  Der Artikel wurde dem Warenkorb hinzugefügt.
  
  Ihr Warenkorb ist leer.
  
  cart.message.error
  Total
  
  CHF
  
  Zur Kasse

Erweiterte Suche

Bücher

Games
- PC
- PS 5
- PS 4
- Xbox Series X

Mehr
- Geschenke & Fun

schliessen

Club-Welt Geschenkefinder Disney-Welten Aktionen & Specials Gutscheine schenken

Cover: https://exlibris.azureedge.net/covers/9783/3193/1220/0/9783319312200xl.jpg

Structured Object-Oriented Formal Language and Method

E-Book (pdf)
219 Seiten

(0) Erste Bewertung abgeben

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Or... Weiterlesen

E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.

CHF 59.90

Download steht sofort bereit

Informationen zu E-Books: E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.

Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected from 22 submissions.

The focus of this workshops was on following subjects: Modeling, specification, verification, model checking, testing, debugging, transformation, and algorithm.

Produktinformationen

Titel:	Structured Object-Oriented Formal Language and Method
Untertitel:	5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
Editor:	Shaoying Liu Zhenhua Duan
EAN:	9783319312200
Digitaler Kopierschutz:	Wasserzeichen
Format:	E-Book (pdf)
Hersteller:	Springer-Verlag GmbH
Genre:	IT & Internet
Anzahl Seiten:	219
Veröffentlichung:	17.03.2016
Dateigrösse:	14.3 MB

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"

Band 9537

Ihr Link zur Ex Libris-Reader-App

Structured Object-Oriented Formal Language and Method

E-Book (pdf)

Beschreibung

Produktinformationen

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"

Logical Foundations of Computer Science

Combinatorial Algorithms

Formal Aspects of Component Software

Cryptography and Information Security in the Balkans

Topics in Theoretical Computer Science

Lightweight Cryptography for Security and Privacy

Information and Communications Security

Semantic Technology

Smart Health

Big Data Analytics in the Social and Ubiquitous Context

Trends in Functional Programming

Mathematical and Engineering Methods in Computer Science

Cultural Robotics

Technology and Practice of Passwords

Scientific Computing, Computer Arithmetic, and Validated Numerics

Artificial Evolution

Image and Video Technology - PSIVT 2015 Workshops

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries

Ontology Engineering

Information Security and Cryptology - ICISC 2015

Structured Object-Oriented Formal Language and Method

Semantics, Logics, and Calculi

Human Language Technology. Challenges for Computer Science and Linguistics

Advances in Network Science

Trusted Systems

Selected Areas in Cryptography - SAC 2015

Human Centered Computing

Multi-Agent Based Simulation XVI

Digital-Forensics and Watermarking

Multi-Agent Systems and Agreement Technologies

Risks and Security of Internet and Systems

Parallel Processing and Applied Mathematics

Parallel Processing and Applied Mathematics

Inductive Logic Programming

High Performance Computing and Applications

Future and Emergent Trends in Language Technology

Critical Information Infrastructures Security

Biomedical Data Management and Graph Online Querying

Solving Large Scale Learning Tasks. Challenges and Algorithms

Distributed Computing and Internet Technology

Mathematical Aspects of Computer and Information Sciences

Beliebt

Neuerscheinungen

Schenken

Disney-Welten

Newsletter

Vorbestellen

Übersicht

Charts

Ex Libris Club

Hilfe

Über uns

Einfach zahlen mit

Folgen Sie uns