Please use this identifier to cite or link to this item: http://localhost/handle/Hannan/1280
Full metadata record
DC FieldValueLanguage
dc.contributor.authorButler, Michael. ;en_US
dc.contributor.authorRaschke, Alexander. ;en_US
dc.contributor.authorHoang, Thai Son. ;en_US
dc.contributor.authorReichl, Klaus. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:27:10Z-
dc.date.available2020-05-17T08:27:10Z-
dc.date.issued2018en_US
dc.identifier.isbn9783319912714 ;en_US
dc.identifier.isbn9783319912707 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/1280-
dc.descriptionen_US
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionen_US
dc.descriptionPrinted edition: ; 9783319912707. ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.description.abstractThis 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. ;en_US
dc.description.statementofresponsibilityedited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl.en_US
dc.description.tableofcontentsInvited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers. ;en_US
dc.format.extentXIV, 432 p. 83 illus. ; online resource. ;en_US
dc.publisherSpringer International Publishing :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10817. ;en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10817. ;en_US
dc.relation.haspart9783319912714.pdfen_US
dc.subjectComputer Scienceen_US
dc.subjectProgramming Languages and Electronic Computersen_US
dc.subjectAlgorithmsen_US
dc.subjectComputer logic. ;en_US
dc.subjectMathematical logic. ;en_US
dc.subjectComputersen_US
dc.subjectComputer Scienceen_US
dc.subjectMathematical Logic and Formal Languages. ;en_US
dc.subjectAlgorithm Analysis and Problem Complexity. ;en_US
dc.subjectLogics and Meanings of Programs. ;en_US
dc.subjectProgramming Languages and Compilers and Interpretersen_US
dc.subjectComputing Methodologies. ;en_US
dc.subject.ddc005.131 ; 23 ;en_US
dc.subject.lccQA8.9-QA10.3 ;en_US
dc.titleAbstract State Machines, Alloy, B, TLA, VDM, and Zen_US
dc.title.alternative6th International Conference, ABZ 2018, Southampton, UK, June 5ee8, 2018, Proceedings /en_US
dc.typeBooken_US
dc.publisher.placeCham :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319912714.pdf19.24 MBAdobe PDFThumbnail
Preview File
Full metadata record
DC FieldValueLanguage
dc.contributor.authorButler, Michael. ;en_US
dc.contributor.authorRaschke, Alexander. ;en_US
dc.contributor.authorHoang, Thai Son. ;en_US
dc.contributor.authorReichl, Klaus. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:27:10Z-
dc.date.available2020-05-17T08:27:10Z-
dc.date.issued2018en_US
dc.identifier.isbn9783319912714 ;en_US
dc.identifier.isbn9783319912707 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/1280-
dc.descriptionen_US
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionen_US
dc.descriptionPrinted edition: ; 9783319912707. ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.description.abstractThis 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. ;en_US
dc.description.statementofresponsibilityedited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl.en_US
dc.description.tableofcontentsInvited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers. ;en_US
dc.format.extentXIV, 432 p. 83 illus. ; online resource. ;en_US
dc.publisherSpringer International Publishing :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10817. ;en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10817. ;en_US
dc.relation.haspart9783319912714.pdfen_US
dc.subjectComputer Scienceen_US
dc.subjectProgramming Languages and Electronic Computersen_US
dc.subjectAlgorithmsen_US
dc.subjectComputer logic. ;en_US
dc.subjectMathematical logic. ;en_US
dc.subjectComputersen_US
dc.subjectComputer Scienceen_US
dc.subjectMathematical Logic and Formal Languages. ;en_US
dc.subjectAlgorithm Analysis and Problem Complexity. ;en_US
dc.subjectLogics and Meanings of Programs. ;en_US
dc.subjectProgramming Languages and Compilers and Interpretersen_US
dc.subjectComputing Methodologies. ;en_US
dc.subject.ddc005.131 ; 23 ;en_US
dc.subject.lccQA8.9-QA10.3 ;en_US
dc.titleAbstract State Machines, Alloy, B, TLA, VDM, and Zen_US
dc.title.alternative6th International Conference, ABZ 2018, Southampton, UK, June 5ee8, 2018, Proceedings /en_US
dc.typeBooken_US
dc.publisher.placeCham :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319912714.pdf19.24 MBAdobe PDFThumbnail
Preview File
Full metadata record
DC FieldValueLanguage
dc.contributor.authorButler, Michael. ;en_US
dc.contributor.authorRaschke, Alexander. ;en_US
dc.contributor.authorHoang, Thai Son. ;en_US
dc.contributor.authorReichl, Klaus. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:27:10Z-
dc.date.available2020-05-17T08:27:10Z-
dc.date.issued2018en_US
dc.identifier.isbn9783319912714 ;en_US
dc.identifier.isbn9783319912707 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/1280-
dc.descriptionen_US
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionen_US
dc.descriptionPrinted edition: ; 9783319912707. ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.description.abstractThis 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. ;en_US
dc.description.statementofresponsibilityedited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl.en_US
dc.description.tableofcontentsInvited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers. ;en_US
dc.format.extentXIV, 432 p. 83 illus. ; online resource. ;en_US
dc.publisherSpringer International Publishing :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10817. ;en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10817. ;en_US
dc.relation.haspart9783319912714.pdfen_US
dc.subjectComputer Scienceen_US
dc.subjectProgramming Languages and Electronic Computersen_US
dc.subjectAlgorithmsen_US
dc.subjectComputer logic. ;en_US
dc.subjectMathematical logic. ;en_US
dc.subjectComputersen_US
dc.subjectComputer Scienceen_US
dc.subjectMathematical Logic and Formal Languages. ;en_US
dc.subjectAlgorithm Analysis and Problem Complexity. ;en_US
dc.subjectLogics and Meanings of Programs. ;en_US
dc.subjectProgramming Languages and Compilers and Interpretersen_US
dc.subjectComputing Methodologies. ;en_US
dc.subject.ddc005.131 ; 23 ;en_US
dc.subject.lccQA8.9-QA10.3 ;en_US
dc.titleAbstract State Machines, Alloy, B, TLA, VDM, and Zen_US
dc.title.alternative6th International Conference, ABZ 2018, Southampton, UK, June 5ee8, 2018, Proceedings /en_US
dc.typeBooken_US
dc.publisher.placeCham :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319912714.pdf19.24 MBAdobe PDFThumbnail
Preview File