國立虎尾科技大學 |

Formal Techniques for Distributed Objects, Components, and Systems = 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Formal Techniques for Distributed Objects, Components, and Systems/ edited by Susanne Graf, Mahesh Viswanathan.
Reminder of title:	35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
other author:	Graf, Susanne.
Description:	XII, 245 p. 47 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Computer logic. -
Online resource:	https://doi.org/10.1007/978-3-319-19195-9
ISBN:	9783319191959

Formal Techniques for Distributed Objects, Components, and Systems = 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
Formal Techniques for Distributed Objects, Components, and Systems35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /[electronic resource] :edited by Susanne Graf, Mahesh Viswanathan. - 1st ed. 2015. - XII, 245 p. 47 illus.online resource. - Programming and Software Engineering ;9039. - Programming and Software Engineering ;8987.

Ensuring Properties of Distributed Systems -- Formal Models of Concurrent and Distributed Systems -- Real Time Systems -- Security -- Efficient Verification Techniques.

This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015. The 15 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.

ISBN: 9783319191959

Standard No.: 10.1007/978-3-319-19195-9doiSubjects--Topical Terms:

786340
Computer logic.

LC Class. No.: QA76.9.L63

Dewey Class. No.: 005.1015113

Formal Techniques for Distributed Objects, Components, and Systems = 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
LDR:02384nam a22004335i 4500 001 969789
003 DE-He213
005 20200706025648.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783319191959 $9 978-3-319-19195-9
024 7 $a 10.1007/978-3-319-19195-9 $2 doi
035 $a 978-3-319-19195-9
050 4 $a QA76.9.L63
050 4 $a QA76.5913
072 7 $a UM $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a UM $2 thema
072 7 $a UYF $2 thema
082 0 4 $a 005.1015113 $2 23
245 1 0 $a Formal Techniques for Distributed Objects, Components, and Systems $h [electronic resource] : $b 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / $c edited by Susanne Graf, Mahesh Viswanathan.
250 $a 1st ed. 2015.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a XII, 245 p. 47 illus. $b online resource.
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 Programming and Software Engineering ; $v 9039
505 0 $a Ensuring Properties of Distributed Systems -- Formal Models of Concurrent and Distributed Systems -- Real Time Systems -- Security -- Efficient Verification Techniques.
520 $a This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015. The 15 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.
650 0 $a Computer logic. $3 786340
650 0 $a Software engineering. $3 562952
650 0 $a Computers. $3 565115
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 1 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Computation by Abstract Devices. $3 669792
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
700 1 $a Graf, Susanne. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 894746
700 1 $a Viswanathan, Mahesh. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1265338
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319191966
776 0 8 $i Printed edition: $z 9783319191942
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-319-19195-9
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)