你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

    You are in:
  1. Home 
  2. Books 
  3. Books 

Carolyn Talcott Books

We found 9 Books for carolyn talcott

all about maude: a high-performance logical framework: how to specify, program, and verify systems in rewriting logic [with cdrom]

all about maude: a high-performance logical framework: how to specify, program, and verify systems in rewriting logic [with cdrom]

talcott, carolyn
springer, 2007, New

NT$ 3,401
formal methods for open object-based distributed systems iv

formal methods for open object-based distributed systems iv

Smith, Scott F. ; Talcott, Carolyn L.
Springer, Hardcover, New

NT$ 6,461
Composing Model-Based Analysis Tools

Composing Model-Based Analysis Tools

Heinrich, Robert ; Durán, Francisco ; Talcott, Carolyn
Springer, Paperback, New

NT$ 3,391
Formal Methods for Open Object-Based Distributed Systems IV (IFIP Advances in Information and Communication Technology)

Formal Methods for Open Object-Based Distributed Systems IV (IFIP Advances in Information and Communication Technology)

Smith, Scott F. ; Talcott, Carolyn L.
Springer, Paperback, New

NT$ 6,461
Composing Model-Based Analysis Tools

Composing Model-Based Analysis Tools

Heinrich, Robert ; Durán, Francisco ; Talcott, Carolyn
Springer, Hardcover, New

NT$ 4,774
Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of her 60Th Birthday

Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of her 60Th Birthday

Lee Edward A.,Mousavi Mohammad Reza,Talcott Carolyn
Springer, Paperback, New

NT$ 2,726
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

Nigam, Vivek ; Ban Kirigin, Tajana ; Talcott, Carolyn
Springer, Paperback, New

NT$ 2,173
Logic, Language, and Security

Logic, Language, and Security

Carolyn Talcott;Tajana Ban Kirigin;Vivek Nigam
Springer Nature B.V., 2020, Paperback, New

NT$ 2,108
Logic, Rewriting, and Concurrency. Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Logic, Rewriting, and Concurrency. Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Carolyn Talcott;Narciso Martí-Oliet;Peter Csaba Ölveczky
Springer Nature B.V., 2015, Paperback, New

NT$ 2,040

Few books have been found. You can Repeat Search without requiring all the searched terms to be present..