Muutke küpsiste eelistusi

Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFLplusMSVL 2020, Singapore, March 1, 2021, Revised Selected Papers 1st ed. 2021 [Pehme köide]

Edited by , Edited by , Edited by , Edited by
  • Formaat: Paperback / softback, 205 pages, kõrgus x laius: 235x155 mm, kaal: 454 g, 45 Illustrations, color; 53 Illustrations, black and white; VIII, 205 p. 98 illus., 45 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 12723
  • Ilmumisaeg: 04-Jun-2021
  • Kirjastus: Springer Nature Switzerland AG
  • ISBN-10: 3030774732
  • ISBN-13: 9783030774738
Teised raamatud teemal:
  • Pehme köide
  • Hind: 48,70 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 57,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFLplusMSVL 2020, Singapore, March 1, 2021, Revised Selected Papers 1st ed. 2021Suurem pilt
  • Formaat: Paperback / softback, 205 pages, kõrgus x laius: 235x155 mm, kaal: 454 g, 45 Illustrations, color; 53 Illustrations, black and white; VIII, 205 p. 98 illus., 45 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 12723
  • Ilmumisaeg: 04-Jun-2021
  • Kirjastus: Springer Nature Switzerland AG
  • ISBN-10: 3030774732
  • ISBN-13: 9783030774738
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783030774738.html
Märksõnad:
This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021.
The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: modeling and specification; model checking; specification and verification; and testing and formal verification.
Due to the Corona pandemic this event was held virtually.
Modeling and Specification.- Model Checking.- Specification and
Verification.- Testing and Formal Verification.