Sinopsis
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Jiacun Wang received a PhD in computer engineering from Nanjing University of Science and Technology, China. He is a professor of Software Engineering at Monmouth University. He was previously with Nortel Networks and was a research associate at Florida International University. Dr. Wang has been teaching formal methods for both undergraduates and graduates at Monmouth University since 2004.
William Tepfenhart was a professor of Computer Science and Software Engineering at Monmouth University. Trained as a physicist, his areas of expertise included object-oriented software development, artificial intelligence, and software engineering. His knowledge of modeling physical systems formed the basis for major contributions in the area of software development.
"Sobre este título" puede pertenecer a otra edición de este libro.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para Formal Methods in Computer Science (Textbooks in Mathematics...
Imagen de archivo
Formal Methods in Computer Science (Textbooks in Mathematics)
Publicado por
Chapman and Hall/CRC 2019-07-08, 2019
ISBN 10: 0367225700
ISBN 13: 9780367225704
Nuevo
Tapa dura
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: New. Nº de ref. del artículo: 6666-TNFPD-9780367225704
Comprar nuevo
EUR 155,30
Gastos de envío:
EUR 17,62
De Reino Unido a Estados Unidos de America
Cantidad disponible: 5 disponibles
Imagen del vendedor
Formal Methods in Computer Science
Publicado por
Chapman and Hall/CRC, 2019
ISBN 10: 0367225700
ISBN 13: 9780367225704
Antiguo o usado
Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 35117759
Comprar usado
EUR 200,14
Gastos de envío:
EUR 17,06
De Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods in Computer Science (Textbooks in Mathematics)
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 380154768
Comprar nuevo
EUR 214,65
Gastos de envío:
EUR 7,39
De Reino Unido a Estados Unidos de America
Cantidad disponible: 3 disponibles
Imagen del vendedor
Formal Methods in Computer Science
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 35117759-n
Comprar nuevo
EUR 219,85
Gastos de envío:
EUR 2,28
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods in Computer Science (Textbooks in Mathematics)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Nº de ref. del artículo: 26383716431
Comprar nuevo
EUR 226,15
Gastos de envío:
EUR 3,45
A Estados Unidos de America
Cantidad disponible: 3 disponibles
Imagen del vendedor
Wang, J: Formal Methods in Computer Science
Impresión bajo demandaLibrería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Gebunden. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Jiacun Wang received a PhD in computer engineering from Nanjing University of Science and Technology, China. He is a professor of Software Engineering at Monmouth University. He was previously with Nortel Networks and was a research asso. Nº de ref. del artículo: 594567126
Comprar nuevo
EUR 184,46
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Methods in Computer Science
Impresión bajo demandaLibrería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
HRD. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L1-9780367225704
Comprar nuevo
EUR 231,58
Gastos de envío:
EUR 5,71
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal Methods in Computer Science
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 35117759-n
Comprar nuevo
EUR 222,16
Gastos de envío:
EUR 17,06
De Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods in Computer Science
Impresión bajo demandaLibrería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
HRD. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L1-9780367225704
Comprar nuevo
EUR 239,49
Gastos de envío:
GRATIS
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Methods in Computer Science (Textbooks in Mathematics)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9780367225704_new
Comprar nuevo
EUR 230,91
Gastos de envío:
EUR 13,63
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles