Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 3 of 15
Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures Cover Image E-book E-book

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Bernardo, Marco. (editor.). Cortellessa, Vittorio. (editor.). Pierantonio, Alfonso. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642309823
  • Physical Description: electronic
    electronic resource
    access
    remote
    VII, 439 p. 158 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Search for related items by subject

Subject: Computer science
Software engineering
Information Systems
Computer Science
Software Engineering
Software Engineering/Programming and Operating Systems
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Information Systems Applications (incl. Internet)
Management of Computing and Information Systems

Search for related items by series

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 02079nam a22004695i 4500
00141819
003CONS
00520131231021627.0
007cr nn 008mamaa
008120625s2012 gw | s |||| 0|eng d
020 . ‡a9783642309823 ‡9978-3-642-30982-3
0247 . ‡a10.1007/978-3-642-30982-3 ‡2doi
035 . ‡a(DE-He213)978-3-642-30982-3
050 4. ‡aQA76.758
072 7. ‡aUMZ ‡2bicssc
072 7. ‡aCOM051230 ‡2bisacsh
1001 . ‡aBernardo, Marco. ‡eeditor.
24510. ‡aFormal Methods for Model-Driven Engineering ‡h[electronic resource] : ‡b12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures / ‡cedited by Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2012.
300 . ‡aVII, 439 p. 158 illus. ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v7320
650 0. ‡aComputer science.
650 0. ‡aSoftware engineering.
650 0. ‡aInformation Systems.
65014. ‡aComputer Science.
65024. ‡aSoftware Engineering.
65024. ‡aSoftware Engineering/Programming and Operating Systems.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aProgramming Languages, Compilers, Interpreters.
65024. ‡aInformation Systems Applications (incl. Internet).
65024. ‡aManagement of Computing and Information Systems.
7001 . ‡aCortellessa, Vittorio. ‡eeditor.
7001 . ‡aPierantonio, Alfonso. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642309816
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v7320
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-30982-3 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a41819 ‡b ‡c41819 ‡tbiblio ‡sSystem Local
Back To Results
Showing Item 3 of 15

Additional Resources