Znn3bq.jpeg
²é¿´: 3102  |  »Ø¸´: 27
¡¾½±Àø¡¿ ±¾Ìû±»ÆÀ¼Û24´Î£¬×÷Õß½­ÄϵÄÖñÔö¼Ó½ð±Ò 18.6 ¸ö

[×ÊÔ´] ¡¾2015ÐÂÊé¡¿¡¶Mathematics of Program Construction¡·

Mathematics of Program Construction
Editors: Ralf Hinze, Janis Voigtländer
ISBN: 978-3-319-19796-8 (Print) 978-3-319-19797-5 (Online)

¡¾2015ÐÂÊé¡¿¡¶Mathematics of Program Construction¡·

¡¾2015ÐÂÊé¡¿¡¶Mathematics of Program Construction¡·-1

¡¾2015ÐÂÊé¡¿¡¶Mathematics of Program Construction¡·-2

µã»÷½øÈ룺ÎÒµÄÊýѧ°æ×ÊÔ´Ìû

»Ø¸´´ËÂ¥

» ±¾Ìû¸½¼þ×ÊÔ´Áбí

  • »¶Ó­¼à¶½ºÍ·´À¡£ºÐ¡Ä¾³æ½öÌṩ½»Á÷ƽ̨£¬²»¶Ô¸ÃÄÚÈݸºÔð¡£
    ±¾ÄÚÈÝÓÉÓû§×ÔÖ÷·¢²¼£¬Èç¹ûÆäÄÚÈÝÉæ¼°µ½ÖªÊ¶²úȨÎÊÌ⣬ÆäÔðÈÎÔÚÓÚÓû§±¾ÈË£¬Èç¶Ô°æÈ¨ÓÐÒìÒ飬ÇëÁªÏµÓÊÏ䣺xiaomuchong@tal.com
  • ¸½¼þ 1 : Mathematics_of_Program_Construction.pdf
  • 2016-01-01 23:44:14, 5.96 M

» ÊÕ¼±¾ÌûµÄÌÔÌûר¼­ÍƼö

AllenµÄÓ¢ÎÄÔ­°æ+°Ù¿Æ ﮵çÊÕ²Ø ¼ÆËãÊýѧÓë¾­¼Ãͳ¼Æ AllenµÄÊýѧ
¿ÆÑÐÓëÓýÈË

» ²ÂÄãϲ»¶

ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû

ÈË×߲費Á¹

Òø³æ (Ö°Òµ×÷¼Ò)


¡ï¡ï¡ï ÈýÐǼ¶,Ö§³Ö¹ÄÀø

лл¥Ö÷·ÖÏí£¬×£ÐÂÄê¿ìÀÖ£¡
3Â¥2016-01-02 08:31:31
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû
¼òµ¥»Ø¸´
xmc1411182Â¥
2016-01-02 05:44   »Ø¸´  
ÎåÐÇºÃÆÀ  ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
anmingkang4Â¥
2016-01-02 09:11   »Ø¸´  
ÎåÐÇºÃÆÀ  ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
askuyue5Â¥
2016-01-02 11:30   »Ø¸´  
ÎåÐÇºÃÆÀ  ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
ha16686Â¥
2016-01-02 16:19   »Ø¸´  
ÎåÐÇºÃÆÀ  ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
peterflyer7Â¥
2016-01-03 08:16   »Ø¸´  
ÎåÐÇºÃÆÀ  ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
daduan8Â¥
2016-01-04 00:05   »Ø¸´  
ÎåÐÇºÃÆÀ  ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
c2002z9Â¥
2016-01-04 13:34   »Ø¸´  
ÎåÐÇºÃÆÀ  ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
lantianbihb10Â¥
2016-01-04 15:21   »Ø¸´  
ÎåÐÇºÃÆÀ  ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
lantianbihb11Â¥
2016-01-04 15:22   »Ø¸´  
¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
muxinjin12Â¥
2016-01-04 22:05   »Ø¸´  
ÎåÐÇºÃÆÀ  ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
¿¼˜„-1013Â¥
2016-01-04 23:02   »Ø¸´  
Ò»°ã  Ð»Ð»·ÖÏí ·¢×ÔСľ³æAndroid¿Í»§¶Ë
monkey_ld14Â¥
2016-01-05 08:09   »Ø¸´  
ÎåÐÇºÃÆÀ  ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
derek88815Â¥
2016-01-05 08:16   »Ø¸´  
ÎåÐÇºÃÆÀ  ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
gjtmawa16Â¥
2016-01-05 10:36   »Ø¸´  
ÎåÐÇºÃÆÀ  ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
wjhu17Â¥
2016-01-05 11:56   »Ø¸´  
ÎåÐÇºÃÆÀ  ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
nihaoweiming18Â¥
2016-01-05 18:37   »Ø¸´  
ÎåÐÇºÃÆÀ  ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
hshxs19Â¥
2016-01-05 21:44   »Ø¸´  
¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
xueakng20Â¥
2016-01-30 14:22   »Ø¸´  
ÎåÐÇºÃÆÀ  ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
woodhole21Â¥
2016-02-20 14:25   »Ø¸´  
ÎåÐÇºÃÆÀ  ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
mandymo22Â¥
2016-02-21 08:57   »Ø¸´  
w1y2l3200923Â¥
2016-02-28 14:05   »Ø¸´  
ÎåÐÇºÃÆÀ  ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
2016-02-29 19:29   »Ø¸´  
ÎåÐÇºÃÆÀ  ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
zybsbsfly25Â¥
2017-05-09 16:33   »Ø¸´  
ÎåÐÇºÃÆÀ  ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
chenqc198526Â¥
2017-07-17 17:40   »Ø¸´  
ÎåÐÇºÃÆÀ  ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
ǬԽ27¥
2018-05-19 14:17   »Ø¸´  
ÎåÐÇºÃÆÀ  ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
Giant9528Â¥
2024-12-22 06:24   »Ø¸´  
ÎåÐÇºÃÆÀ  ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
Ïà¹Ø°æ¿éÌø×ª ÎÒÒª¶©ÔÄÂ¥Ö÷ ½­ÄϵÄÖñ µÄÖ÷Ìâ¸üÐÂ
¡î ÎÞÐǼ¶ ¡ï Ò»ÐǼ¶ ¡ï¡ï¡ï ÈýÐǼ¶ ¡ï¡ï¡ï¡ï¡ï ÎåÐǼ¶
×î¾ßÈËÆøÈÈÌûÍÆ¼ö [²é¿´È«²¿] ×÷Õß »Ø/¿´ ×îºó·¢±í
[¿¼ÑÐ] 291 Çóµ÷¼Á +38 »¯¹¤2026½ì±ÏÒµÉ 2026-04-09 39/1950 2026-04-15 08:03 by ²»ÎÒÀ­ÂÌ¿¨
[¿¼ÑÐ] һ־Ը³¶«´óѧ071000ÉúÎïѧѧ˶³õÊÔ·ÖÊý276Çóµ÷¼Á +26 Ľ¾øcc 2026-04-09 30/1500 2026-04-14 18:50 by ²ÌËÕÑô
[¿¼ÑÐ] 366Çóµ÷¼Á +11 ²»ÖªÃûµÄСئ 2026-04-11 11/550 2026-04-14 15:50 by zs92450
[½Ìʦ֮¼Ò] ת³¤Æ¸ÁË +7 ¼òµ¥»¯xn 2026-04-13 7/350 2026-04-14 14:50 by xindong
[»ù½ðÉêÇë] RY£ºÖйú²ú³öµÄ¿ÆÑ§À¬»øÂÛÎÄ£¬¾ø¶ÔÊýÁ¿ºÍ±ÈÀý¶¼ÊÀ½çµÚÒ» +6 zju2000 2026-04-14 17/850 2026-04-14 14:34 by jurkat.1640
[¿¼ÑÐ] 297Çóµ÷¼Á +23 ORCHID1 2026-04-10 26/1300 2026-04-14 13:52 by ³ÂƤƤ
[¿¼ÑÐ] »úе»¹Óл¹ÓÐÃû¶îÂð£¿Ì«ÄÑÁË +8 ЦЦԬ 2026-04-10 8/400 2026-04-14 08:44 by screening
[¿¼ÑÐ] 085404 298·ÖÇóµ÷¼Á +11 ºôÀ²ºôÀ²ºôºôºô 2026-04-10 12/600 2026-04-14 08:38 by wfj257
[¿¼ÑÐ] »úе¹¤³Ì313·ÖÕÒ¹¤¿Æµ÷¼Á +4 ˫һÁ÷±¾¿Æ»úе 2026-04-08 4/200 2026-04-14 07:32 by Abskk
[¿¼ÑÐ] 293Çóµ÷¼Á +16 ÎÒ°®¸ßÊý¸ßÊý°®Î 2026-04-12 18/900 2026-04-13 21:47 by ѧԱJpLReM
[¿¼ÑÐ] 302Çóµ÷¼Á +10 Ò×£¡? 2026-04-13 10/500 2026-04-13 19:04 by lbsjt
[¿¼ÑÐ] Ò»Ö¾Ô¸»ªÖÐũ΢ÉúÎ288·Ö£¬ÈýÄêʵÑé¾­Àú +11 ´úfish 2026-04-09 11/550 2026-04-12 10:21 by Hayaay
[¿¼ÑÐ] ũѧ0904 312Çóµ÷¼Á +6 Say Never 2026-04-10 6/300 2026-04-11 10:33 by wwj2530616
[¿¼ÑÐ] ¹¤¿Æ273µ÷¼Á +6 X1999 2026-04-09 7/350 2026-04-11 10:23 by zhq0425
[¿¼ÑÐ] 22408 327·ÖÇóµ÷¼Á +4 ÔÏ·çkon 2026-04-10 4/200 2026-04-11 09:51 by Öí»á·É
[¿¼ÑÐ] ÖÐҩѧµ÷¼Á ³õÊÔ324 +4 Ñó¸Ê¾Õ¡¢ 2026-04-10 6/300 2026-04-11 09:41 by gong120082
[¿¼ÑÐ] 281Çóµ÷¼Á +11 ¾õµÃºÃµÄ°É 2026-04-10 11/550 2026-04-11 09:35 by ÄæË®³Ë·ç
[¿¼ÑÐ] 0854µ÷¼Á +4 ³¤¹­°Á 2026-04-09 4/200 2026-04-11 09:18 by Öí»á·É
[¿¼ÑÐ] ¼ÆËã»úÀàÇóµ÷¼Á£¬22408-274·Ö +7 Éϰ¶deС³æ 2026-04-09 8/400 2026-04-10 19:56 by fxue1114
[¿¼ÑÐ] ÕÐÊÕÓлú»¯Ñ§¡¢»¯¹¤£¬Ò©Ñ§£¬Ê³Æ·µÆ×¨ÒµÑ§Éú +3 yrfhjgdj 2026-04-08 3/150 2026-04-09 10:15 by QYQX_123
ÐÅÏ¢Ìáʾ
ÇëÌî´¦ÀíÒâ¼û