「"SDL (Computer program language)"」の検索結果 | NDLサーチ

検索結果 18 件

タイトルでまとめる

SDL 2007: design for dependable systems : 13th international SDL forum : Paris, France, September 18-21, 2007 : proceedings. : Sep 2007, Paris, France. (Lecture Notes in Computer Science ; 4745)

紙図書

Springerc2007.<M17-08-1915>

国立国会図書館

件名SDL (Computer program language) -- Congresses.

Telecommunications and beyond: the broader applicability of SDL and MSC : third international workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002 : revised papers. : Jun 2002, Aberystwyth, UK. (Lecture Notes in Computer Science ; 2599)

紙図書

Springerc2003.<M17-03-1167>

国立国会図書館

件名...-- Congresses. SDL (Computer program language) -- Congresses.

SDL 2003: system design : 11th international SDL forum : Stuttgart, Germany, July 1-4, 2003 : proceedings. : Jul 2003, Stuttgart, Germany. (Lecture Notes in Computer Science ; 2708)

紙図書

Springerc2003.<M17-04-608>

国立国会図書館

件名SDL (Computer program language) -- Congresses. Telecommunicat...

SDL 2001: meeting UML : 10th international SDL forum : Copenhagen, Denmark, June 27-29, 2001 : proceedings. : Jun 2001, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2078)

紙図書

Springer2001.<M17-03-4735>

国立国会図書館

件名SDL (Computer program language) -- Congresses. Telecommunicat...

SDL 2009: design for motes and mobiles : 14th international SDL forum : Bochum, Germany, September 22-24, 2009 : proceedings. : Sep 2009, Bochum, Germany. (Lecture Notes in Computer Science ; 5719)

紙図書

Springerc2009.<M17-10-1642>

国立国会図書館

件名SDL (Computer program language) -- Congresses. Requirements e...

Validation of communications systems with SDL : the art of SDL simulation and reachability analysis

紙図書

Laurent DoldiWileyc2003

全国の図書館

件名...ter simulation SDL (Computer program language)
件名（識別子）...ter simulation SDL (Computer program language)

SDL '99, the next millennium : proceedings of the ninth SDL Forum, Montréal, Québec, Canada, 21-25, 1999

紙図書

edited by Rachida Dssouli, Gregor v. Bochmann, Yair LahavElsevierc1999

全国の図書館

件名SDL (Computer program language) Congresses
件名（識別子）SDL (Computer program language) Congresses

SDL '93, using objects : proceedings of the Sixth SDL Forum, Darmstadt, Germany, 11-15 October 1993

紙図書

edited by Ove Færgemand, Amardeo SarmaNorth-Holland1993

全国の図書館

件名SDL (Computer program language) Object-oriented programming
件名（識別子）SDL (Computer program language) Object-oriented programming

SDL ʾ97 : time for testing SDL, MSC and trends : proceedings of the eighth SDL Forum, Evry, France, 23-26 September, 1997

紙図書

edited by Ana Cavalli, Amardeo SarmaElsevier1997

全国の図書館

件名SDL (Computer program language) -- Congresses
件名（識別子）SDL (Computer program language) -- Congresses

SDL 2005 : model driven : 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005 : proceedings

紙図書

Andreas Prinz, Rick Reed, Jeanne Reed (eds.)Springerc2005

全国の図書館

件名SDL (Computer program language) -- Congresses Telecommunicati...
件名（識別子）SDL (Computer program language) -- Congresses Telecommunicati...

SDL with applications from protocol specification : pbk

紙図書

Ferenc Belina, Dieter Hogrefe, and Amardeo SarmaPrentice Hall International (UK)1991

全国の図書館

件名SDL (Computer program language) Computer network protocols
件名（識別子）SDL (Computer program language) Computer network protocols

Engineering real-time systems : an object-oriented methodology using SDL

紙図書

Rolv Bræk, Øystein HaugenPrentice Hall1993

全国の図書館

件名Real-time data processing Object-oriented programming SDL (Computer program language)
件名（識別子）Real-time data processing Object-oriented programming SDL (Computer program language)

Systems engineering using SDL-92

紙図書

Anders Olsen ... [et al.]Norht-Holland1994

全国の図書館

件名...ata processing SDL (Computer program language) Systems engineering -- Data p...
件名（識別子）...ata processing SDL (Computer program language) Systems engineering -- Data p...