Coverart for item
The Resource Formal techniques for distributed objects, components, and systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings, Jorge A. Pérez, Nobuko Yoshida (eds.)

Formal techniques for distributed objects, components, and systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings, Jorge A. Pérez, Nobuko Yoshida (eds.)

Label
Formal techniques for distributed objects, components, and systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings
Title
Formal techniques for distributed objects, components, and systems
Title remainder
39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings
Statement of responsibility
Jorge A. Pérez, Nobuko Yoshida (eds.)
Title variation
FORTE 2019
Creator
Contributor
Editor
Subject
Genre
Language
eng
Summary
This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019. The 15 full and 3 short papers presented were carefully reviewed and selected from 42 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems
Member of
Cataloging source
YDX
Dewey number
004/.36
Index
index present
http://bibfra.me/vocab/relation/jointlyheldconference
BQJDRbbSPY8
LC call number
QA76.9.D5
LC item number
.F67 2019
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2019
http://bibfra.me/vocab/lite/meetingName
FORTE Conference
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
2019
http://library.link/vocab/relatedWorkOrContributorName
  • Pérez, Jorge A.
  • Yoshida, Nobuko
  • International Federated Conferences on Distributed Computing Techniques
Series statement
  • Lecture notes in computer science
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
11535
http://library.link/vocab/subjectName
  • Electronic data processing
  • Formal methods (Computer science)
  • Computer network protocols
Label
Formal techniques for distributed objects, components, and systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings, Jorge A. Pérez, Nobuko Yoshida (eds.)
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
on1103501488
Dimensions
unknown
Extent
1 online resource.
File format
unknown
Form of item
online
Isbn
9783030217587
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)1103501488
Label
Formal techniques for distributed objects, components, and systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings, Jorge A. Pérez, Nobuko Yoshida (eds.)
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
on1103501488
Dimensions
unknown
Extent
1 online resource.
File format
unknown
Form of item
online
Isbn
9783030217587
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)1103501488

Library Locations

Processing Feedback ...