Catalog

Record Details

Catalog Search


Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings Cover Image E-book E-book

Formal Methods and Software Engineering [electronic resource] : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings / edited by Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie.

Butler, Michael. (editor.). Hinchey, Michael G. (editor.). Larrondo-Petrie, María M. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783540766506
  • Physical Description: online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Search for related items by subject

Subject: Computer science.
Software engineering.
Logic design.
Computer Science.
Programming Techniques.
Software Engineering.
Models and Principles.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.

Search for related items by series

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 01874nam a22004575i 4500
00135222
003CONS
00520131219223854.0
007cr nn 008mamaa
008100301s2007 gw | s |||| 0|eng d
020 . ‡a9783540766506 ‡9978-3-540-76650-6
0247 . ‡a10.1007/978-3-540-76650-6 ‡2doi
035 . ‡a(DE-He213)978-3-540-76650-6
050 4. ‡aQA76.6-76.66
072 7. ‡aUM ‡2bicssc
072 7. ‡aCOM051000 ‡2bisacsh
1001 . ‡aButler, Michael. ‡eeditor.
24510. ‡aFormal Methods and Software Engineering ‡h[electronic resource] : ‡b9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings / ‡cedited by Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2007.
300 . ‡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 ; ‡v4789
650 0. ‡aComputer science.
650 0. ‡aSoftware engineering.
650 0. ‡aLogic design.
65014. ‡aComputer Science.
65024. ‡aProgramming Techniques.
65024. ‡aSoftware Engineering.
65024. ‡aModels and Principles.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aProgramming Languages, Compilers, Interpreters.
7001 . ‡aHinchey, Michael G. ‡eeditor.
7001 . ‡aLarrondo-Petrie, María M. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783540766483
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v4789
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-540-76650-6 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a35222 ‡b ‡c35222 ‡tbiblio ‡sSystem Local

Additional Resources