Fachgebiet
Medium
  • 9720
  • 1631
  • 29
  • 12
Erscheinungsjahr
  • 11
  • 326
  • 1205
  • 1217
  • 561
  • 415
  • 351
  • 377
  • 362
  • 416
  • 321
  • 431
  • 296
  • 443
  • 408
  • 513
  • 249
  • 519
  • 239
  • 255
  • 261
  • 223
  • 254
  • 221
  • 222
  • 181
  • 162
  • 120
  • 107
  • 98
  • 85
  • 81
  • 73
  • 63
  • 68
  • 38
  • 57
  • 35
  • 24
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 5
  • 3
  • 3
  • 4
  • 8
  • 14
  • 3
  • 3
  • 4
  • 9
  • 10
  • 3
  • 4
  • 4
  • 10
  • 4
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 10
  • 3
  • 5
  • 3
  • 3
  • 6
  • 4
  • 4
  • 4
  • 3
  • 8
  • 5
  • 5
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 6
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 7
  • 9
  • 5
  • 10
  • 3
  • 7
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 3
  • 9
  • 23
  • 3
  • 18
  • 5
  • 6
  • 7
  • 4
  • 3
  • 4
  • 3
  • 4
  • 6
  • 8
  • 4
  • 4
  • 7
  • 4
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 4
  • 4
  • 4
  • 6
  • 4
  • 3
  • 4
  • 23
  • 3
  • 5
  • 4
  • 4
  • 3
  • 4
  • 7
  • 3
  • 7
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 12
  • 8
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 4
  • 11
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 5
  • 21
  • 3
  • 4
  • 4
  • 13
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 16
  • 3
  • 4
  • 16
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 9
  • 4
  • 3
  • 3
  • 10
  • 18
  • 4
  • 7
  • 16
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 7
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 12
  • 7
  • 5
  • 3
  • 3
  • 3
  • 3
  • 11
  • 7
  • 3
  • 6
  • 3
  • 5
  • 12
  • 5
  • 3
  • 4
  • 13
  • 10
  • 4
  • 4
  • 8
  • 3
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 3
  • 20
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 6
  • 4
  • 33
  • 4
  • 3
  • 8
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 7
  • 4
  • 3
  • 5
  • 3
  • 6
  • 8
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 5
  • 7
  • 3
  • 6
  • 4
  • 8
  • 6
  • 5
  • 14
  • 3
  • 8
  • 4
  • 4
  • 12
  • 3
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 3
  • 4
  • 4
  • 9
  • 6
  • 3
  • 3
  • 8
  • 3
  • 9
  • 3
  • 4
  • 10
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 10
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 3
  • 6
  • 6
  • 3
  • 4
  • 4
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 9
  • 3
  • 5
  • 3
  • 3
  • 5
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 5
  • 8
  • 6
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 15
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 13
  • 5
  • 7
  • 3
  • 10
  • 7
  • 8
  • 10
  • 6
  • 7
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 5
  • 7
  • 17
  • 4
  • 3
  • 17
  • 3
  • 5
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 11
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 6
  • 3
  • 5
  • 9
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 29
  • 23
  • 3
  • 4
  • 3
  • 4
  • 4
  • 8
  • 4
  • 3
  • 4
  • 4
  • 3
  • 6
  • 10
  • 3
  • 3
  • 5
  • 9
  • 13
  • 4
  • 6
  • 18
  • 6
  • 5
  • 4
  • 17
  • 5
  • 4
  • 16
  • 5
  • 10
  • 7
  • 6
  • 4
  • 4
  • 7
  • 10
  • 6
  • 6
  • 4
  • 4
  • 5
  • 25
  • 7
  • 5
  • 9
  • 4
  • 8
  • 4
  • 4
  • 7
  • 4
  • 9
  • 7
  • 8
  • 8
  • 4
  • 38
  • 4
  • 7
  • 10
  • 7
  • 12
  • 4
  • 5
  • 5
  • 9
  • 4
  • 5
  • 13
  • 4
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 7
  • 9
  • 5
  • 6
  • 5
  • 18
  • 4
  • 4
  • 4
  • 9
  • 4
  • 10
  • 6
  • 6
  • 8
  • 8
  • 5
  • 6
  • 4
  • 5
  • 6
  • 8
  • 8
  • 8
  • 4
  • 6
  • 4
  • 5
  • 10
  • 10
  • 5
  • 4
  • 8
  • 7
  • 10
  • 10
  • 4
  • 8
  • 10
  • 5
  • 9
  • 9
  • 4
  • 9
  • 5
  • 5
  • 4
  • 7
  • 4
  • 6
  • 19
  • 5
  • 4
  • 4
  • 5
  • 11
  • 5
  • 7
  • 6
  • 6
  • 5
  • 4
  • 10
  • 4
  • 7
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 8
  • 7
  • 8
  • 15
  • 5
  • 5
  • 10
  • 8
  • 6
  • 9
  • 4
  • 7
  • 6
  • 7
  • 4
  • 10
  • 6
  • 11
  • 7
  • 8
  • 12
  • 9
  • 7
  • 64
  • 4
  • 14
  • 4
  • 4
  • 7
  • 5
  • 9
  • 9
  • 5
  • 6
  • 6
  • 4
  • 12
  • 12
  • 18
  • 6
  • 16
  • 6
  • 11
  • 6
  • 4
  • 24
  • 6
  • 7
  • 7
  • 5
  • 4
  • 10
  • 12
  • 32
  • 4
  • 5
  • 5
  • 4
  • 4
  • 6
  • 6
  • 9
  • 4
  • 7
  • 10
  • 15
  • 7
  • 4
  • 7
  • 6
  • 4
  • 6
  • 4
  • 21
  • 27
  • 5
  • 4
  • 4
  • 4
  • 20
  • 11
  • 4
  • 6
  • 4
  • 8
  • 5
  • 5
  • 7
  • 7
  • 4
  • 12
  • 7
  • 12
  • 11
  • 28
  • 10
  • 6
  • 4
  • 7
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 7
  • 4
  • 5
  • 9
  • 4
  • 4
  • 6
  • 8
  • 7
  • 5
  • 13
  • 6
  • 7
  • 4
  • 7
  • 4
  • 6
  • 7
  • 6
  • 9
  • 4
  • 4
  • 7
  • 7
  • 4
  • 5
  • 4
  • 21
  • 17
  • 4
  • 4
  • 8
  • 5
  • 7
  • 8
  • 6
  • 6
  • 9
  • 5
  • 8
  • 8
  • 7
  • 10
  • 4
  • 10
  • 5
  • 4
  • 7
  • 5
  • 5
  • 14
  • 4
  • 8
  • 7
  • 4
  • 4
  • 11
  • 10
  • 6
  • 9
  • 4
  • 18
  • 14
  • 5
  • 4
  • 10
  • 5
  • 4
  • 5
  • 8
  • 7
  • 4
  • 5
  • 6
  • 10
  • 4
  • 7
  • 4
  • 4
  • 8
  • 5
  • 4
  • 7
  • 8
  • 4
  • 4
  • 7
  • 5
  • 23
  • 6
  • 9
  • 5
  • 4
  • 4
  • 7
  • 15
  • 5
  • 4
  • 4
  • 4
  • 24
  • 6
  • 8
  • 4
  • 7
  • 4
  • 5
  • 4
  • 7
  • 6
  • 4
  • 10
  • 10
  • 4
  • 4
  • 5
  • 5
  • 5
  • 4
  • 4
  • 10
  • 12
  • 5
  • 7
  • 5
  • 4
  • 4
  • 4
  • 7
  • 16
  • 6
  • 4
  • 4
  • 4
  • 40
  • 49
  • 12
  • 4
  • 9
  • 12
  • 9
  • 22
  • 8
  • 5
  • 9
  • 9
  • 13
  • 6
  • 4
  • 4
  • 5
  • 5
  • 11
  • 7
  • 42
  • 5
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 9
  • 20
  • 7
  • 5
  • 12
  • 32
  • 4
  • 6
  • 5
  • 8
  • 10
  • 4
  • 11
  • 10
  • 10
  • 4
  • 6
  • 10
  • 4
  • 8
  • 4
  • 7
  • 4
  • 6
  • 11
  • 6
  • 8
  • 6
  • 5
  • 4
  • 4
  • 14
  • 10
  • 4
  • 4
  • 7
  • 4
  • 9
  • 9
  • 14
  • 11
  • 6
  • 11
  • 13
  • 4
  • 7
  • 9
  • 8
  • 7
  • 12
  • 4
  • 7
  • 4
  • 4
  • 5
  • 6
  • 4
  • 11
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 16
  • 14
  • 5
  • 12
  • 4
  • 11
  • 21
  • 4
  • 4
  • 12
  • 20
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 9
  • 7
  • 7
  • 18
  • 6
  • 12
  • 4
  • 4
  • 12
  • 5
  • 5
  • 6
  • 9
  • 4
  • 6
  • 21
  • 4
  • 7
  • 4
  • 4
  • 10
  • 7
  • 4
  • 4
  • 6
  • 7
  • 11
  • 7
Verlag
  • 2
  • 3
  • 5
  • 3
  • 1
  • 3
  • 1
  • 51
  • 7
  • 451
  • 2
  • 2
  • 18
  • 3
  • 8
  • 3
  • 285
  • 2
  • 23
  • 1
  • 1
  • 3
  • 3
  • 3
  • 73
  • 1
  • 91
  • 1
  • 219
  • 3
  • 502
  • 1321
  • 15
  • 1
  • 1
  • 2
  • 56
  • 102
  • 1
  • 3
  • 1
  • 3
  • 39
  • 1
  • 2
  • 58
  • 27
  • 1
  • 1
  • 25
  • 1
  • 4
  • 3
  • 14
  • 5
  • 37
  • 4
  • 2
  • 1
  • 6
  • 1
  • 1
  • 3
  • 1
  • 25
  • 1
  • 1
  • 4
  • 1
  • 1
  • 33
  • 1
  • 1
  • 2
  • 1
  • 28
  • 54
  • 4
  • 3
  • 2
  • 16
  • 2
  • 6
  • 1
  • 1
  • 19
  • 2
  • 1
  • 11
  • 4
  • 1
  • 5
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 11
  • 1
  • 3
  • 24
  • 1
  • 2
  • 8
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 14
  • 1
  • 3
  • 28
  • 22
  • 3
  • 37
  • 1
  • 1
  • 1
  • 1
  • 2
  • 16
  • 1
  • 6185
  • 34
  • 20
  • 1
  • 1
  • 167
  • 8
  • 3
  • 2
  • 34
  • 1
  • 39
  • 89
  • 3
  • 22
  • 1
  • 288
  • 35
  • 155
  • 2
  • 1
  • 24
  • 6
  • 1
  • 4
  • 1
  • 86
  • 1
  • 5
  • 2
  • 151
  • 3
  • 10
  • 1
  • 24
  • 22
  • 1
  • 1
  • 2
  • 2
Preis
  • 424
  • 1989
  • 5388
  • 3591
Sprachen
  • 10451
  • 952
  • 2
Verfügbarkeit
  • 11254
  • 138
Eigenschaften
  • 9
  • 4
Katalog
  • 11392
  • 1781
11.392  Titel


    Levi Static Analysis

    5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65014-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Raskin / Thiagarajan Formal Modeling and Analysis of Timed Systems

    5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75453-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Olive / Pastor Advanced Information Systems Engineering

    9th International Conference, CAiSE'97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63107-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hardy / Briggs Reliable Software Technologies - Ada-Europe '97

    1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63114-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Grundy / Newey Theorem Proving in Higher Order Logics

    11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64987-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Swierstra / Henriques / Oliveira Advanced Functional Programming

    Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66241-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lowe / Gaedke Web Engineering

    5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27996-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Victor Parallel Computing Technologies

    8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28126-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fiadeiro / Harman / Roggenbach Algebra and Coalgebra in Computer Science

    First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28620-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Matsui Fast Software Encryption

    8th International Workshop, FSE 2001 Yokohama, Japan, April 2-4, 2001, Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43869-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wells / Williams Extreme Programming and Agile Methods - XP/Agile Universe 2002

    Second XP Universe and First Agile Universe Conference Chicago, IL, USA, August 4-7, 2002.Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-44024-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rashid / Aksit Transactions on Aspect-Oriented Software Development III

    Focus: Early Aspects
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-75161-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Esparza / Lakos Application and Theory of Petri Nets 2002

    23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43787-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hermanns / Segala Process Algebra and Probabilistic Methods: Performance Modeling and Verification

    Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43913-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Winckler / Johnson / Palanque Task Models and Diagrams for User Interface Design

    6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-77221-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jayaraman Practical Aspects of Declarative Languages

    6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22253-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rattray / Maharaj Algebraic Methodology and Software Technology

    10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22381-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Voronkov Perspectives of Systems Informatics

    6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-70880-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Krishnamurthi / Odersky Compiler Construction

    16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71228-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lukowicz / Thiele / Tröster Architecture of Computing Systems - ARCS 2007

    20th International Conference, Zurich, Switzerland, March 12-15, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71267-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Daydé / Palma / Couthino High Performance Computing for Computational Science - VECPAR 2006

    7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71350-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Liblit Cooperative Bug Isolation

    Winning Thesis of the 2005 ACM Doctoral Dissertation Competition
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71877-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bernardo / Hillston Formal Methods for Performance Evaluation

    7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72482-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Julliand / Kouchnarenko B 2007: Formal Specification and Development in B

    7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68760-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Suzuki / Higashino / Ulrich Testing of Software and Communicating Systems

    20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68514-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular