Campusbibliothek
Normale Ansicht MARC ISBD

Abstract state machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro (eds.)

Von: Mitwirkende(r): Materialtyp: TextTextSprache: Englisch Reihen: ; 967500 | Lecture notes in computer science ; 9675Verlag: [Cham] Heidelberg Springer [2016]Beschreibung: XXI, 426 Seiten Diagramme, Illustrationen 24 cmInhaltstyp:
  • Text
Medientyp:
  • ohne Hilfsmittel zu benutzen
Datenträgertyp:
  • Band
ISBN:
  • 9783319335995
  • 3319335995
Schlagwörter: Genre/Form: Andere physische Formen: Kein Titel; Erscheint auch als: Abstract State Machines, Alloy, B, TLA, VDM, and ZLOC-Klassifikation:
  • QA76.7
Andere Klassifikation:
  • SS 4800
  • *68-06
  • 68N01
  • 68Q05
  • 68Q60
  • 00B25
Online-Ressourcen: Andere Ausgaben: Erscheint auch als (Online-Ausgabe): / Abstract State Machines, Alloy, B, TLA, VDM, and Z
Exemplare
Medientyp Aktuelle Bibliothek Sammlung Standort Signatur Status Fälligkeitsdatum Barcode
Buch Buch Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) Campusbibliothek für Informatik und Mathematik (E2 3) Series (GF) LNCS 9675 (Regal durchstöbern(Öffnet sich unterhalb)) Verfügbar 2200000379368

Includes bibliographical references and author index

Current copyright fee: GBP22.19

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha