Slika na naslovnici

Formal Techniques for Distributed Objects, Components, and Systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings /

This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing T...

Popoln opis

Shranjeno v:
Bibliografske podrobnosti
Korporativna značnica: SpringerLink (Online service)
Drugi avtorji: Huisman, Marieke (Editor), Ravara, António (Editor)
Format: Elektronski eKnjiga
Jezik:angleščina
Izdano: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Izdaja:1st ed. 2023.
Serija:Lecture Notes in Computer Science, 13910
Teme:
Software engineering.
Software Engineering.
Online dostop:https://doi.org/10.1007/978-3-031-35355-0
Oznake: Označite
Brez oznak, prvi označite!

MARC

LEADER 00000nam a22000005i 4500
001 978-3-031-35355-0
003 DE-He213
005 20260810154026.0
007 cr nn 008mamaa
008 230609s2023 sz | o |||| 0|eng d
020 |a 9783031353550  |9 978-3-031-35355-0 
024 7 |a 10.1007/978-3-031-35355-0  |2 doi 
050 4 |a QA76.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
072 7 |a UMZ  |2 thema 
082 0 4 |a 005.1  |2 23 
245 1 0 |a Formal Techniques for Distributed Objects, Components, and Systems  |h [electronic resource] :  |b 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings /  |c edited by Marieke Huisman, António Ravara. 
250 |a 1st ed. 2023. 
264 1 |a Cham :  |b Springer Nature Switzerland :  |b Imprint: Springer,  |c 2023. 
300 |a 1 online resource (XIV, 225 p. 80 illus.).  |b 51 illus. in color. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Computer Science,  |x 1611-3349 ;  |v 13910 
505 0 |a Concurrent programming -- Security -- Probabilities, time and other resources -- Model-based testing and petri nets. 
520 |a This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets. 
588 |a Print version record. 
650 0 |a Software engineering. 
650 1 4 |a Software Engineering. 
700 1 |a Huisman, Marieke.  |e editor.  |0 (orcid)0000-0003-4467-072X  |1 https://orcid.org/0000-0003-4467-072X  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Ravara, António.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783031353543 
776 0 8 |i Printed edition:  |z 9783031353567 
830 0 |a Lecture Notes in Computer Science,  |x 1611-3349 ;  |v 13910 
856 4 0 |u https://doi.org/10.1007/978-3-031-35355-0 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
912 |a ZDB-2-SXPS 
912 |a ZDB-2-LNC 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710) 
950 |a Springer Nature Proceedings Computer Science (SpringerNature-85344) 

Podobne knjige/članki